A Methodology for the Protocol-Centered Design of Agent-Based Systems
P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.