Văn bản này: TRANSPUTER ARCHITECTURES FOR SENSING IN A ROBOT CONTROLLER - FORMAL METHODS FOR DESIGN