Finkbeiner, et al.. Model Checking Quantitative Hyperproperties. Springer International Publishing, 2018, doi:10.1007/978-3-319-96145-3_8.