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