Semantics of Modechart in real time logic
Farnam Jahanian, R. Lee, Aloysius K. Mok · 2003
The authors present a specification language called Modechart, which is especially amenable to the specification of real-time systems by graphical means. In addition to the behavioral description, Modechart permits the specification of timing constraints, an important element in real-time systems. A formal semantics for Modechart is provided in terms of real-time logic.>