@article{articleef59cde9,
title   = {Automatic analysis of requirements consistency with the B method},
author = {Sousa, Thiago Carvalho de and Almeida Junior, Jorge Rady de and Viana, Sidney and Pavón, Judith},
year = {2010},
doi = {10.1145/1734103.1734114},
journal   = {Software engineering notes}
}