Improving the Engineering Process of Control Systems Based on Digital Twin Specifications | IEEE Conference Publication | IEEE Xplore