Integrated system analysis environment for the continuous consistency and completeness checkingEessaar, ErkiKnowledge-based software engineering : proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering2006 / p. 96-105 : ill