"Real-Time and Embedded System Verification Based on Formal Requirements."

Benjamin Fontan et al. (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics