HaaST: Verification of Hard and Softly Timed Systems

Duration: January 2011 until January 2011