analysis and synthesis of distributed real-time embedded systems

paul pop · kluwer academic pub