SDL. - Stefan Heinkel; Thomas Lindner (Formal Development of Reactive Systems, 1995)