Argos and Larissa
Argos is an automaton language, similar to StateCharts, but with synchronous semantics. We developed Larissa, an extension to Argos for aspect-oriented programming. This compiler is a proof-of-concept implementation for Argos and Larissa.
View online : The Larissa Page