Rafal Mrowka, Tomasz Szmuc. UML Statecharts Compositional Semantics in LOTOS. In 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland. pages 459-463, IEEE Computer Society, 2008. [doi]
Abstract is missing.