Exploiting Finite-state Automation for HCI evaluation | IEEE Conference Publication | IEEE Xplore