Text this: Simulation of a manufacturing assembly line based on witness