R. H. Pierce, Sandra Ayache, Roger Ward, John Stevens, Helen Clifton, J. Galle. Capturing and Verifying Performance Requirements for Hard Real Time Systems. In Keith Hardy, James S. Briggs, editors, Reliable Software Technologies - Ada-Europe 97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings. Volume 1251 of Lecture Notes in Computer Science, pages 137-148, Springer, 1997.
Abstract is missing.