1. Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor;Baruah;Real-Time System,1990
2. Preemptively scheduling hard-real-time sporadic tasks on one processor;Baruah,1990
3. The complexity of theorem-proving procedures;Cook,1971
4. Control robotics: the procedural control of physical processors;Dertouzos,1974
5. Computers and Intractability: A Guide to the Theory of NP-Completeness;garey,1979