HaaST: Verification of Hard and Softly Timed Systems

Publications: in EPrints
Further information: http://fmt.cs.utwente.nl/projects/HaaST-html/