Bounded Model Checking for Timed Systems.

Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani

Browse the full FORTE paper archive.