Alexander Metzner Martin Fränzle Christian Herde Ingo Stierand Scheduling Distributed Real-Time Systems by Satisfiability Checking. 409-415 2005 conf/rtcsa/2005 RTCSA http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.90 db/conf/rtcsa/rtcsa2005.html#MetznerFHS05