Masci, P.; Curzon, P.; Blandford, A.; Furniss, D. Modelling Distributed Cognition Systems in PVS. eceasst 2011, 45.