Gruia-Catalin Roman Jamie Payton Mobile UNITY Schemas for Agent Coordination. 126-150 2003 conf/asm/2003 Abstract State Machines http://dx.doi.org/10.1007/3-540-36498-6_7 db/conf/asm/asm2003.html#RomanP03