Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers - Oliveira, Marcel Vinícius Medeiros; Woodcock, Jim (Springer Berlin Heidelberg, 2009)