Leonor Barroca, Pedro Rangel Henriques: A framework and patterns for the specification of reactive systems. Inf. Softw. Technol. 40(3): 135-142 (1998)