1. S. Baranov, C. Jervis, V. Kotlyarov, A. Letichevsky, and T. Weigert, “Leveraging UML to deliver correct telecom applications,” in: L. Lavagno, G. Martin, and B. Selic (eds.), UML for Real: Design of Embedded Real-Time Systems, Kluwer, Amsterdam (2003), pp. 323–342.
2. A. Letichevsky, J. Kapitonova, A. Letichevsky Jr, V. Volkov, S. Baranov, V. Kotlyarov, and T. Weigert, “Basic protocols, message sequence charts, and the verification of requirements specifications,” Computer Networks, No. 47, 662–675 (2005).
3. J. Kapitonova, À. Letichevsky, V. Volkov, and T. Weigert, “Validation of embedded systems,” in: R. Zurawski (ed.), The Embedded Systems Handbook, CRC Press, Miami (2005).
4. A. Ad. Letichevsky, Yu. V. Kapitonova, V. A. Volkov, A. A. Letichevsky, S. N. Baranov, V. P. Kotlyarov, and T. Weigert, “Systems specification by basic protocols,” Cybernetics and Systems Analysis, No. 4, 3–21 (2005).
5. A. Letichevsky, J. Kapitonova, V. Kotlyarov, A. Letichevsky Jr, N. Nikitchenko, V. Volkov, and T. Weigert, “Insertion modeling in distributed system design,” Problems in Programming (ISSN 1727-4907), No. 4, 13–39 (2008).