Rémi Bastide David Navarre Philippe A. Palanque A tool-supported design framework for safety critical interactive systems. 309-328 2003 15 Interacting with Computers 3 http://dx.doi.org/10.1016/S0953-5438(03)00011-0 db/journals/iwc/iwc15.html#BastideNP03