Nikiforov, V. and Baranov, S. 2017. Static Verification of Task Access to Shared Resources in Real-Time Systems. SPIIRAS Proceedings. 3, 52 (May 2017), 137-156. DOI:https://doi.org/10.15622/sp.52.7.