@inproceedings{KaliappanKoenigSchmerletal., author = {Kaliappan, Prabhu Shankar and K{\"o}nig, Hartmut and Schmerl, Sebastian and Dong, Jin Song and Zhu, Huibiao}, title = {Model-Driven Protocol Design Based on Component Oriented Modeling}, series = {Formal methods and software engineering, proceedings 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010}, booktitle = {Formal methods and software engineering, proceedings 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-16900-7}, pages = {613 -- 629}, language = {en} }