Real-time systems development - Williams, Rob, 1948- (Elsevier Butterworth-Heinemann, 2006)