Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings - Braga, Christiano; Martí-Oliet, Narciso (Springer International Publishing : Imprint: Springer, 2015)