Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU | IEEE Conference Publication | IEEE Xplore