"A formal framework to specify and verify real-time properties on critical ..."

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