Jia Xu, David Lorge Parnas. On satisfying timing constraints in hard-real-time systems. In Mark Moriconi, editor, Proceedings of the conference on Software for citical systems, SIGSOFT 1991, New Orleans, Louisiana, USA. pages 132-146, ACM, 1991. [doi]
Abstract is missing.