José Luiz Fiadeiro Stefania Gnesi Andrea Maggiolo-Schettini 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 SEFM IEEE Computer Society 2010 db/conf/sefm/sefm2010.html 978-0-7695-4153-2