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