Executable object modeling with statecharts | IEEE Conference Publication | IEEE Xplore