A model-based framework for flexible safety-critical software development: a design study.

Jesper Pedersen Notander, Per Runeson, Martin Hst

Browse the full SAC paper archive.