Variants on statecharts
There are many variants on statecharts
One is RSML (Leveson et al.), which allows states to be connected through a bus as well as pairwise
RSML also represents transitions differently, through explicit AND-OR tables instead of through guards and conditions on transitions