Pitfalls of Petri net transformation. - Z. P. Tao; M. Goossens (SPDP, 1991)

Synthesizing Communication Protocol Converter: A Model and Method. - Z. P. Tao; M. Goossens (ACM Conference on Computer Science, 1992)

An efficient method for protocol conversion. - Z. P. Tao; Gregor von Bochmann; Rachida Dssouli (ICCCN, 1995)