J. Drozd, A. Drozd, and J. Sulima, “NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS”, IJC, vol. 11, no. 3, pp. 293-301, Aug. 2014.