He has specialized in tool development for system specification and validation and has been involved in the standardization of specification languages and in development of standardized TTCN-3 test suites.