1. Belli, F., Linschulte, M.: Event-driven modeling and testing of real-time web services. J. Serv. Orient. Comput. Appl. 4(1), 3–15. Springer, Heidelberg (2010)
2. Frakes, W. B., Terry, C.: Software reuse: metrics and models. ACM Comput. Surv. 28(2), 415–435 (1996).
http://dl.acm.org/ft_gateway.cfm?id=234531&type=pdf&CFID=65178775&CFTOKEN=89447410
3. Frakes, W.B., Kang, K.: Software reuse research: status and future. IEEE Trans. Softw. Eng. 31(7), 529–536 (2005).
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1492369
4. Leveson, N.: Medical devices: the Therac-25. In: Appendix A in Safeware: System Safety and Computers, pp. 1–49, Addison-Wesley, Boston (1995).
http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=84A18B532CF53C4AEA6F64AA6038BFEF?doi=10.1.1.39.704&rep=rep1&type=pdf
5. Lions, J.L.: Ariane 5 Flight 501 Failure (1996).
http://www.ima.umn.edu/~arnold/disasters/ariane5rep.html