Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis: Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. 4(3): 285-292 (2008)