Teaching finite state machines with case method and role play | IEEE Conference Publication | IEEE Xplore