Entity behaviour descriptions-A specification model for communicating entities | IEEE Conference Publication | IEEE Xplore