Using UML to specify general communication systems | IEEE Conference Publication | IEEE Xplore