Ecdar: An environment for compositional design and analysis of real time systems (2010)

by Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
Venue:In ATVA, volume 6252 of LNCS