Model checking quantum systems 并列题名：Model checking quantum systems Manipulating quantum systems 并列题名：Manipulating quantum systems Cracking quantum physics Modeling complex systems 并列题名：Cracking quantum physics modelling and reasoning about systems Thinking in systems