Software reliability engineering - Musa (McGraw-Hill, 1998)