Computer interface engineering for real-time systems : a model-based approach - Garrett, Patrick H. (Prentice-Hall, 1987)