Under directory where Maude is installed execute
maude.solaris or maude.linux to get Maude>

in /project/mds/Maude/RoverSensorActuatorSept03/myConf.m
in /project/mds/Maude/RoverSensorActuatorSept03/interfaces.m
in /project/mds/Maude/RoverSensorActuatorSept03/sv.m
in /project/mds/Maude/RoverSensorActuatorSept03/actuator.m
in /project/mds/Maude/RoverSensorActuatorSept03/sensor.m
in /project/mds/Maude/RoverSensorActuatorSept03/device.m
in /project/mds/Maude/RoverSensorActuatorSept03/ctrl.m
in /project/mds/Maude/RoverSensorActuatorSept03/estimator.m
in /project/mds/Maude/RoverSensorActuatorSept03/grid.m
in /project/mds/Maude/RoverSensorActuatorSept03/posAndHeadInterfaces.m
in /project/mds/Maude/RoverSensorActuatorSept03/posAndHeadSv.m
in /project/mds/Maude/RoverSensorActuatorSept03/posAndHeadCtrl.m 
in /project/mds/Maude/RoverSensorActuatorSept03/posAndHeadActuator.m
in /project/mds/Maude/RoverSensorActuatorSept03/posAndHeadSensor.m
in /project/mds/Maude/RoverSensorActuatorSept03/rover.m
in /project/mds/Maude/RoverSensorActuatorSept03/posAndHeadEst.m
in /project/mds/Maude/RoverSensorActuatorSept03/posAndHeadSystem.m

TESTS
rew myphctrl myphsv myphactuator myphsensor rov myphest 
    msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((1 0 E))) .

*** constraintSuccess
rew myphctrl myphsv myphactuator myphsensor rov myphest 
    msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((2 0 E))) .

*** constraintFailure
rew  myphctrl myphsv myphactuator myphsensor rov myphest 
    msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((1 2 E))) .


rew [1] myphctrl myphsv myphactuator myphsensor rov myphest 
    msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((1 0 E))) .
continue 1 .


rew [1] myphctrl myphsv myphactuator myphsensor rov myphest 
    msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((2 0 E)))  msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((1 0 E))) .


search .. =>! c:Configuration .
search [n] ...
show search graph .
show path n .