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


search myphctrl myphsv myphactuator myphsensor rov myphest 
    msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((2 0 E)))  msg(o("MyPosAndHeadStateVar"), o("MyRequester"), startConstraint((1 0 E))) =>! c:Configuration .