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