A framework for formal specification of robotic constraint-based tasks and their concurrent execution with online qos monitoring | IEEE Conference Publication | IEEE Xplore