Real-time Systems: Modeling, Design, And Applications - Aurel Cornell; Dan Ionescu (2007)