An approach for generating fsm program based on Visio modeling | IEEE Conference Publication | IEEE Xplore