Schedule-based service choreographies for real-time control loops | IEEE Conference Publication | IEEE Xplore