Alan Burns, Andy J. Wellings. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. In Jorge Real, Tullio Vardanega, editors, Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Volume 6106 of Lecture Notes in Computer Science, pages 41-53, Springer, 2010. [doi]