Jorge Real, Andy J. Wellings. Implementing mode changes with shared resources in Ada. In 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 9-11 June 1999, York, England, UK, Proceedings. pages 86-93, IEEE Computer Society, 1999. [doi]
Abstract is missing.