Sáez, et al.. Adding Multiprocessor and Mode Change Support to the Ada Real-time Framework. Association for Computing Machinery (ACM), June 2013, doi:10.1145/2492312.2492324.