A formal framework for design and analysis of human-machine interaction | IEEE Conference Publication | IEEE Xplore