Text this: Model checking quantum systems :