Vinicius M. Sobral, João Paulo A. Almeida, Patricia Dockhorn Costa. Assessing situation models with a lightweight formal method. In IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2015, Orlando, FL, USA, March 9-12, 2015. pages 42-48, IEEE, 2015. [doi]
Abstract is missing.