Extension of protocol synthesis to structured entities | IEEE Conference Publication | IEEE Xplore