Real-time software design for embedded systems - Gomaa, Hassan (Cambridge University Press, 2016)