Synthesis and analysis methods for safety and reliability - Αποστολάκης, Γ.; Garribba, Sergio; Volta, G. (Plenum Press, 1980)