Robust composition of motion specifications