"Integrating safety analysis into the model-based development toolchain of ..."

Matthias Biehl, De-Jiu Chen, Martin Törngren (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics