Protocol synthesis from time Petri net based service specifications | IEEE Conference Publication | IEEE Xplore