Maria Spichkova: Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle. Technical University Munich, Germany 2007, 1-273