Assessing situation models with a lightweight formal method. - Vinicius M. Sobral; João Paulo A. Almeida; Patricia Dockhorn Costa (CogSIMA, 2015)