Drozd, Julia, Alexander Drozd, and Julian Sulima. “NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS”. International Journal of Computing 11, no. 3 (August 1, 2014): 293-301. Accessed May 2, 2024. https://computingonline.net/computing/article/view/573.