He also has been on several committees, including the previous version of this workshop at ICSE'02. His main research interests are real-time and distributed systems, scenario modeling, object-oriented modeling, software engineering, and formal methods.