http://www.erbase.uneb.br/metodos_formais_aline.ppt