The Engineering Of Complex Real-Time Computer Control Systems by George W. Irwin