Nikiforov, V., and S. Podkorytov. “Algorithms for Checking Applicability of Resource Access Protocols in Real-Time Systems”. Information and Control Systems, no. 4 (August 21, 2017): 59-66. Accessed July 5, 2024. http://ia.spcras.ru/index.php/ius/article/view/4340.