Digital Twin Integration using Lingua Franca and FMI for Testing Factory Automation Software | IEEE Conference Publication | IEEE Xplore