From supervisory control to PLC code: A way to speed-up Constructive/Virtual Commissioning of Manufacturing Systems