Real-time systems - Jian, Kuodi (InTech, 2016)