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