"Devs modelling and simulation for development of embedded systems."

Gabriel A. Wainer (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics