Formalizing TLM with Communicating State Machines - Niemann, Bernardt; Haubelt, Christian (Proceedings Forum on Specification and Design Languages (FDL'06), 2006)