"Verifying timing synchronization constraints in distributed embedded ..."

A. C. Rajeev, Swarup Mohalik, S. Ramesh (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics