Geoff T. Smith. Measuring the effectiveness of ACATS. In John W. McCormick, Ricky E. Sward, editors, Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004. pages 9-12, ACM, 2004. [doi]
Abstract is missing.