Hybrid system behavior specification for multiple robotic mechanisms | IEEE Conference Publication | IEEE Xplore