Protocol synthesis from SMIL-based scenarios and its implementation in distributed environment | IEEE Conference Publication | IEEE Xplore