"Real-Time Specification Patterns and Tools."

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics