A framework and patterns for the specification of reactive systems.

Leonor Barroca Pedro Rangel Henriques A framework and patterns for the specification of reactive systems. 135-142 1998 40 Information & Software Technology 3 http://dx.doi.org/10.1016/S0950-5849(98)00036-6 db/journals/infsof/infsof40.html#BarrocaH98