systems: Lustre (Proceedings of the 14th Symposium on Principles of Programming
Languages, Munich, 1987; Proc. IEEE 79 (9)(1999) 1305), Esterel (Sci. Comput.
Programming 19 (2)(1992) 87), Signal (Technical Report, IRISA Report 246, IRISA, Rennes,
France, 1985). Argos is a set of operators that allow to combine Boolean Mealy machines, in
a compositional way. It takes its origin in Statecharts (Sci. Comput. Programming 8 (1987) …