Ken Tindell John Clark Holistic schedulability analysis for distributed hard real-time systems. 117-134 1994 40 Microprocessing and Microprogramming 2-3 http://dx.doi.org/10.1016/0165-6074(94)90080-9 db/journals/jsa/jsa40.html#TindellC94