Adding Form to Real-Time System Specification and Simulation

International Journal of Software Engineering and Knowledge Engineering - Singapore
doi 10.1142/s0218194099000346