Complexity Bounds for the Verification of Real-Time Software
scientific article