Digital Object Identifier (DOI) https://doi.org/10.1016/j.robot.2014.08.010 https://doi.org/10.1016/j.robot.2014.08.010