Drozd J, Drozd A, Sulima J. NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS. IJC [Internet]. 2014Aug.1 [cited 2024May19];11(3):293-301. Available from: https://www.computingonline.net/computing/article/view/573