"A Framework for Composition, Verification and Real-Time Performance of ..."

Jaime Arias, Myriam Desainte-Catherine, Camilo Rueda (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics