Revisiting statechart synthesis with an algebraic approach | IEEE Conference Publication | IEEE Xplore