The cyclic executive model and Ada

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

C. L. Liu, J. W. Layland · Journal of the ACM · 1973 · 8.3K citations · Full text

Computing, Computer Engineering, Computer Science +16

Control Robotics: The Procedural Control of Physical Processes.

Michael L. Dertouzos · IFIP Congress · 1974 · 620 citations

Engineering, Mechanical Engineering, Robotics Engineering +12

Reasoning about time in higher-level language software

Alan Shaw · IEEE Transactions on Software Engineering · 1989 · 368 citations

Computing, Computer Engineering, Computer Science +16

Scheduling Tasks with Resource Requirements in Hard Real-Time Systems

Wei Zhao, Krithi Ramamritham, John A. Stankovic · IEEE Transactions on Software Engineering · 1987 · 224 citations

Computing, Computer Engineering, Computer Science +17

On synchronization in hard-real-time systems

Stuart Faulk, David Lorge Parnas · Communications of the ACM · 1988 · 86 citations · Full text

Computing, Computer Engineering, Computer Science +14