Modelling reversible execution of robotic assembly. Issue 5 (11th January 2018)