Time assignment for distributed service and protocol UML-based specifications | IEEE Conference Publication | IEEE Xplore