Peleska, J; Siegel, M
(South African Computer Society (SAICSIT), 1997)
This article focuses on test automation for safety-critical reactive systems. In the first part of the paper we introduce a methodology for specification, design and verification of fault-tolerant systems allowing to ...