@InProceedings{BDFR10-ICECCS10, author = {Silvia Bindelli and Elisabetta {Di Nitto} and Carlo A. Furia and Matteo Rossi}, title = {Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components}, booktitle = {Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'10)}, pages = {85--94}, year = {2010}, month = {March}, publisher = {IEEE}, urltopdf = {/people/furia/pubs/iceccs10-selflet.pdf} }