Special Issue on Model Based Reasoning in Engineering and Robotic Systems