An extension of UML by protocols for multi-agent interaction | IEEE Conference Publication | IEEE Xplore