Marc Constantijn Willem Geilen

• Formal techniques for verification of complex real-time systems