On Semantics and Refinement of UML Statecharts: A Coalgebraic View.

Sun Meng, Zhang Naixiao, Lus Soares Barbosa

Browse the full SEFM paper archive.