A graphical tool for specification of reactive systems.

Kari Syst

Browse the full ECRTS paper archive.