Using a formal high-level language and an automated manikin to automatically generate assembly instructions. (1st January 2014)