Return to Article Details Approximate Model Checking of Real-Time Systems for Linear Duration Invariants Download Download PDF