Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander A. Letichevsky, Thomas Weigert. Leveraging UML to Deliver Correct Telecom Applications. In Luciano Lavagno, Grant Martin, Bran Selic, editors, UML for Real - Design of Embedded Real-Time Systems. pages 323-342, Kluwer, 2003. [doi]