Ecdar/Ecdar-GUI-Web

A graphical tool for modeling using ECDAR (Environment for Compositional Design and Analysis of Real Time Systems)