Dependency algebra: a tool for designing robust real-time systems | IEEE Conference Publication | IEEE Xplore