Johann Blieberger, Bernd Burgstaller, Robert Mittermayr. Static Detection of Livelocks in Ada Multitasking Programs. In Nabil Abdennadher, Fabrice Kordon, editors, Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings. Volume 4498 of Lecture Notes in Computer Science, pages 69-83, Springer, 2007. [doi]