1. Nikiforov V., Podkorytov S. Algorithms for Checking Applicability of Resource Access Protocols in Real-Time Systems // Information and Control Systems. 2017. № 4. C. 59-66.