@misc{cc11,
author = "Filieri, Antonio and Ghezzi, Carlo and Mirandola, Raffaela and Tamburrelli, Giordano",
booktitle = "Conquering Complexity",
publisher = "Springer",
title = "{C}onquering {C}omplexity via {S}eamless {I}ntegration of {D}esign-{T}ime and {R}un-{T}ime {V}erification",
year = "2011",
}

<div><a href="http://www.artio.net" style="font-size: 8px; visibility: visible; display: inline" title="Information systems, databases, internet and web applications">SEO by Artio</a></div>