1. Ankrum, T.S., Kromholz, A.H.: Structured Assurance Cases: Three Common Standards. In: HASE 2005: 9th IEEE International Symposium on High-Assurance Systems Engineering, pp. 99–108 (2005)
2. Associated Press: Insulin Pumps Vulnerable to Hacking,
http://www.foxnews.com/tech/2011/08/04/insulin-pumps-vulnerable-to-hacking/
3. Ayoub, A., Chang, J., Sokolsky, O., Lee, I.: Assessing the Overall Sufficiency of Safety Arguments. In: SSS 2013: 21st Safety-critical Systems Symposium. LNCS. Springer (2013)
4. Bergenstal, R.M., Tamborlane, W.V., Ahmann, A., Buse, J.B., Dailey, G., Davis, S.N., Joyce, C., Peoples, T., Perkins, B.A., Welsh, J.B., et al.: Effectiveness of Sensor-augmented Insulin-pump Therapy in Type 1 Diabetes. New England Journal of Medicine 363(4), 311–320 (2010)
5. Black, P.E.: Samate and Evaluating Static Analysis Tools. Ada User Journal 28(3), 184–188 (2007)