Model checking quantum systems principles and algorithms - Ying, Mingsheng 1964-; Feng, Yuan 1977- (Cambridge University Press, 2021)