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