While a significant effort is currently being undertaken by Human-Computer Interaction community in order to apply and extend current User Centered Design methodologies, very little has been done to improve the reliability of software offering new interaction techniques. As these kind of interaction techniques are more and more used in the field of command and control safety critical systems, the potential of incident or accidents increases. In addition, at design time, the non-reliability of interactive software can even jeopardize usability evaluation activities by producing unexpected or undesired behaviors. This is critical as this activity is at the center of design processes of usable interactive systems. Lastly, iterative design processes promote multiple designs through evolvable prototypes in order to accommodate requirements changes and to incorporate results from usability evaluations. Such iterative processes reduce reliability of the final system by lack of global and structured design. Taking advantage of model-based approaches, this article proposes techniques, methods and tools for model-based design of interactive systems while considering human and system-related erroneous behavior.