Round-trip engineering of reactive systems. - Dmitrij V. Koznov; Maxim Katrashov; Goman Gagarsky; Vera A. Zvereva; Alexey Barsov (ISoLA (Preliminary proceedings), 2004)

Automatic Generation of Protocol Converters from Scenario-Based Specifications. - Abhik Roychoudhury; P. S. Thiagarajan; Tuan-Anh Tran; Vera A. Zvereva (RTSS, 2004)