Tarasyuk, O.M., and A.V. Gorbenko. "
For Methods for Development of Critical Software." In
Lecture Materials. Kharkiv: National Aerospace University Institute “KhAI”, 2009.
Mansour, Riham Hassan Abd. Formal Analysis and Design for Engineering Security (FADES). Vol. PhD Dissertation. Blacksburg, VA: Virginia Polytechnic Institute and State University, 2009.