Automatic analysis of requirements consistency with the B method - Sousa, Thiago Carvalho de; Almeida Junior, Jorge Rady de; Viana, Sidney; Pavón, Judith (Software engineering notes, 2010)