Automatic analysis of requirements consistency with the B method. - Thiago C. de Sousa; Jorge R. Almeida Jr.; Sidney Viana; Judith Pavón (ACM SIGSOFT Softw. Eng. Notes, 2010)