Dependency algebra: a theoretical framework for dependency management in real-time control systems | IEEE Conference Publication | IEEE Xplore