Software reliability models : theoretical developments, evaluation, and applications - Malaiya, Yashwant K.; Srimani, Pradip K. (IEEE Computer Society Press technology series, 1990)