On semantics and refinement of UML statecharts: a coalgebraic view - Sun Meng (2004)