Handbook of real-time and embedded systems - Lee, Insup (Chapman and Hall, 2008)