Specification And Development Of Interactive Systems - Manfred Broy, Ketil Stolen (Springer-Verlag, 2001)