Automated alignment of specifications of everyday manipulation tasks. - Moritz Tenorth; Johannes Ziegltrum; Michael Beetz (IROS, 2013)