Interactive systems: design, specification, and verification Bocca di Magra, Italy, June 1994 - Paternó, Fabio (Springer, 1995)