Real-Time systems development - Williams, Rob (Butterworth-Heinemann, 2006)