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,)