Dependency Algebra: A Tool for Designing Robust Real-Time Systems.

Hui Ding, Lui Sha

Browse the full RTSS paper archive.