1. Nikiforov V., Baranov S. Static Verification of Task Access to Shared Resources in Real-Time Systems // SPIIRAS Proceedings. 2017. № 52 (3). C. 137-156.