An easy-to-use and flexible object-oriented framework for extended finite state machines | IEEE Conference Publication | IEEE Xplore