Real-time systems design principles for distributed embedded applications - Kopetz, Hermann (Real-time systems series, 2011)