Fellow
Austria – 2006
CITATION

For contributions to formal verification and hybrid systems.