Return to Article Details Modelling Distributed Cognition Systems in PVS Download Download PDF