@inproceedings{VT2009, author = {Franceschinis, G. and Gribaudo, M. and Iacono, M. and Marrone, S. and Moscato, F. and Vittorini, V.}, title = {Interfaces and binding in component based development of formal models}, booktitle = {Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools}, series = {VALUETOOLS '09}, year = {2009}, isbn = {978-963-9799-70-7}, location = {Pisa, Italy}, pages = {44:1--44:10}, articleno = {44}, numpages = {10}, acmid = {1698878}, publisher = {ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)}, address = {ICST, Brussels, Belgium, Belgium}, keywords = {binding, dependability, formal models, interface, metamodeling, performability} }