Formal analysis of human-computer interaction using model-checking | IEEE Conference Publication | IEEE Xplore