Software reliability - Kopetz, H. (Springer-Verlag, New York Inc., 1980)