Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Michael Feary. A formal framework for design and analysis of human-machine interaction. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011. pages 1801-1808, IEEE, 2011. [doi]
Abstract is missing.