Kavi, Akl, Hurson, 2009. Real-Time Systems: An Introduction and the State-of-the-Art.. https://doi.org/10.1002/9780470050118.ecse344