Alexander A. Letichevsky, Julia V. Kapitonova, A. A. Letichevsky Jr., Vladislav A. Volkov, Sergey Baranov, Thomas Weigert. Basic protocols, message sequence charts, and the verification of requirements specifications. Computer Networks, 49(5):661-675, 2005. [doi]
Abstract is missing.