"Model-based Design of Embedded Systems by Desynchronization."

Yu Bai (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics