Computer Interface Engineering for Real-Time Systems:A Model-Based Approach