AMETIST: Advanced Methods for Timed Systems

Publications: in EPrints
Further information: http://ametist.cs.utwente.nl/