SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.

Min Zhang, Fu Song, Frdric Mallet, Xiaohong Chen

Browse the full FASE paper archive.