Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings - Ribeiro, Leila; Lecomte, Thierry (Springer International Publishing : Imprint: Springer, 2016)