Finite state modeling as an automation technology | IEEE Conference Publication | IEEE Xplore