SMS: Software reliability / Hermann Kopetz.