Үүнийг мессежээр илгээх: TRANSPUTER ARCHITECTURES FOR SENSING IN A ROBOT CONTROLLER - FORMAL METHODS FOR DESIGN