Building on the well-established paradigm of model-based design of embedded safety-critical systems, which has proven to facilitate early detection of design faults and thus to enhance system quality and reliability, IMoST strives for extending the scope of this design technique to also cover the human operator of such systems and his/her interaction with the system and environment.