Facilitating program comprehension via generic components for state machines | IEEE Conference Publication | IEEE Xplore