Real-time and distributed real-time systems : theory and applications /: theory and applications. (2016)