Back-end software for highly dependable real-time control systems | IEEE Conference Publication | IEEE Xplore