Executable object modeling with statecharts1997-07-010 PRE AI DOI:10.1109/2.596624OriginalOriginal request for helpShareSaveAbstract En