M. A. J. Burford, Fevzi Belli. CADAS: A tool for designing reliable embedded software and supporting testing in the large . In Karl-Erwin Großpietsch, Mario Dal Cin, editors, Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn, 19.-21. September 1984, Proceedings. Volume 84 of Informatik-Fachberichte, pages 101-126, Springer, 1984.
Abstract is missing.