Real-time systems design principles for distributed embedded applications - Kopetz, Hermann (Kluwer, 2009)