Jozef Hooman is a senior research fellow at ESI (TNO) since 2003. In addition, he is a full professor at the Radboud University Nijmegen on model-based development of embedded software. He has a background in formal techniques for the specification and compositional verification of reliable real-time systems. Jozef participated in many projects with the Dutch high-tech industry on performance, evolvability, and reliability aspects.