A GEMMA-GRAFCET Methodology to enable Digital Twin based on Real-Time Coupling. - Giacomo Barbieri; David Andres Gutierrez (ISM, 2020)