1. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model Checking Algorithms for Continuous time Markov Chains. IEEE Transactions on Software Engineering 29(4), 524–541 (2003)
2. Broughton, E.: The Bhopal Disaster and its Aftermath: A Review. Environmental Health 4(6), 1–6 (2005)
3. Coble, A.: Anonymity, Information and Machine-assisted Proof. PhD Thesis, University of Cambridge, Cambridge, UK (2009)
4. Dean, S.M.: Considerations involved in making system investments for improved service reliability. EEI Bulletin (6), 491–496 (1938)
5. U. S. Department of Defence. Reliability Prediction of Electronic Equipment, Military handbook, MIL-HDBK-217B (1974)