Rafeh, R., and A. Rabiee. “Towards the Design of Safety-Critical Software”. Journal of Applied Research and Technology 11, no. 5 (October 1, 2013). Accessed April 24, 2024. https://jart.icat.unam.mx/index.php/jart/article/view/274.