Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015 | Kaicus Deutschland