Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Cornélio, Márcio; Roscoe, Bill (Springer International Publishing : Imprint: Springer, 2016)