The language PAISLey can be used to specify reactive systems. We used PAISLey to carry out a case study in the context of home systems and to evaluate this language thereby.
Internal Report 250-94,
Fachbereich Informatik,
Universität Kaiserslautern,
1994.
(Compressed Postscript, 141 KB, 31 pp)