"Compliance, Functional Safety and Fault Detection by Formal Methods."

Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics