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