Model Checking Quantum Systems - Ying/Feng (Cambridge University Press, 2021)