"Specification and Design Considerations for Reliable Embedded Systems."

Adeel Israr, Sorin A. Huss (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics