1. Introduction Visualizing Graphical and Textual Formalisms

Several requirements specification styles for the specification of reactive systems have been proposed in the literature. Informal specifications are the most widely use