A Framework for Semantic Checking of Information Systems. - Gonçalo Alves; João Sarraipa; João Pedro Mendonça da Silva; Ricardo Jardim-Gonçalves (INVIT, 2012)