Safe Behavior Model Synthesis: From STPA to LTL to SCCharts.

Jette Petzold, Reinhard von Hanxleden

Browse the full MODELSWARD paper archive.