3 ms·From Live Sequence Charts to State Machines and Back: A Guided Tour (2005) [pdf]12 points by michaelsbradley 11y ago