Rukšėnas, R.; Curzon, P. Abstract Models and Cognitive Mismatch in Formal Verification. ECEASST 2011, 45.