Simulation-based shop floor control: formal model, model generation and control interface · Study