Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / - Breitman, K. K.; Cavalcanti, Ana. (Springer,)