A tool-supported design framework for safety critical interactive systems. Interacting with Computers in this volume (2003)

by R Bastide, D Navarre, P Palanque