TOPAAS: An Alternative Approach to Software Reliability Quantification. - Sipke van Manen; Ed Brandt; Jaap van Ekris; Wouter Geurts (Qual. Reliab. Eng. Int., 2015)