Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand. Scheduling Distributed Real-Time Systems by Satisfiability Checking. In 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, China. pages 409-415, IEEE Computer Society, 2005. [doi]
Abstract is missing.