Software Reliability Methods by Doron Peled