DROZD, J.; DROZD, A.; SULIMA, J. NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS. International Journal of Computing, [S. l.], v. 11, n. 3, p. 293-301, 2014. DOI: 10.47839/ijc.11.3.573. Disponível em: https://computingonline.net/computing/article/view/573. Acesso em: 2 may. 2024.