Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings - Massoni, Tiago; Massoni, Tiago; Mousavi, Mohammad Reza; Mousavi, Mohammad Reza (Springer International Publishing : Imprint: Springer, 2018)