Model Checking Quantum Systems : Principles and Algorithms