TIMES - A Tool for Modelling and Implementation of Embedded Systems.

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Browse the full TACAS paper archive.