COMMUNICATION-BASED MODELLING AND INSPECTION IN CRITICAL SYSTEMS Topics: Design Methodology and Cognitive Factors in Design In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 3: ICEIS, 215-220, 2008 , Barcelona, Spain