Drozd, J., Drozd, A. and Sulima, J. (2014) “NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS”, International Journal of Computing, 11(3), pp. 293-301. doi: 10.47839/ijc.11.3.573.