Rukšėnas, R. and Curzon, P. 2011. Abstract Models and Cognitive Mismatch in Formal Verification. Electronic Communications of the EASST. 45, (Sep. 2011). DOI:https://doi.org/10.14279/tuj.eceasst.45.655.