A Testing Tool using the State Characterization Approach for Timed Systems

Publication
WRTES, satellite workshop of FME symposium