Wael M. Elseaidy. Static and dynamic analysis of real-time systems. In Mladen A. Vouk, Douglas S. Reeves, Cherri M. Pancake, editors, Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992. pages 368-376, ACM, 1992. [doi]
Abstract is missing.