Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang: QPMC: A Model Checker for Quantum Programs and Protocols. FM 2015: 265-272