Anfonwch hwn fel neges destun: TRANSPUTER ARCHITECTURES FOR SENSING IN A ROBOT CONTROLLER - FORMAL METHODS FOR DESIGN