JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems.

Eva Coscia, Gianna Reggio

Browse the full FASE paper archive.