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