P. Masci, P. Curzon, A. Blandford, and D. Furniss, “Modelling Distributed Cognition Systems in PVS”, eceasst, vol. 45, Sep. 2011.