Model Checking Requirements. - Sérgio Barza; Gustavo Carvalho; Juliano Iyoda; Augusto Sampaio 001; Alexandre Mota 001; Flávia de Almeida Barros (SBMF, 2016)