Extending State Transition Diagrams for the Specification of Human–Computer Interaction | IEEE Journals & Magazine | IEEE Xplore