Email Record: Model checking quantum systems :