A Common Framework for the analysis of Reactive and Timed Systems (COMFORTS)

Current project members are (in alphabetic order):

• dr. Simona Orzan
  
  
• dr.ir. Wieger Wesselink
  
  
• dr.ir. Tim Willemse

Furthermore, the following people are involved in some way or another:

• prof.dr. Jos Baeten
  
  
• prof.dr.ir. Jan Friso Groote
  
  
• prof.dr. Jaco van de Pol