This paper introduces a model-driven emulator for the interaction and GUI design of complex interacting systems. It allows systems that are engineered using formal methods and modelling to be tested with users before the final implementation. The user interface requirements are also specified in a formal model, which can be tested manually and automatically as required.
