@misc{indiciaebc615a82a2f5, title = {Extended distributed UML-based protocol synthesis method}, author = {Jehad Al Dallal}, year = {2014}, url = {https://arxiv.org/abs/1409.3160}, note = {Source identifier: 1409.3160} }