DIVIDER: Modelling and Evaluating Real-Time Service-Oriented Cyberphysical Co-Simulations | IEEE Conference Publication | IEEE Xplore