Drozd, J.; Drozd, A.; Sulima, J. NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS. IJC 2014, 11, 293-301.