Analysis and synthesis of distributed real-time embedded systems - Pop, Paul (Kluwer Academic Publishers, 2004)