Nikiforov, V., Podkorytov, S.: Algorithms for Checking Applicability of Resource Access Protocols in Real-Time Systems. Information and Control Systems(4), 59-66 (2017). doi:10.15217/issn1684-8853.2017.4.59