Drozd, Julia, Alexander Drozd, and Julian Sulima. 2014. “NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS”. International Journal of Computing 11 (3):293-301. https://doi.org/10.47839/ijc.11.3.573.