Design method, fail-stop safety model, and embedded application.

Miroslav Svéda Design method, fail-stop safety model, and embedded application. 47-57 1997 43 Journal of Systems Architecture 1-5 db/journals/jsa/jsa43.html#Sveda97