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