Simulation. - Artur Bauer; Thomas Lindner (Formal Development of Reactive Systems, 1995)