Paradigms for dependable applications - Koob, Gary M. (Hrsg.); Koob, Gary M. (The Kluwer international series in engineering and computer science, 1994)