McMaster-Shanghai Research Group on Dependable Systems

1. Ridha Khedri: Software Product Family and Software Medical Device
2. Yihai Chen: Software Medical Device
3. Wen Su: Software Product Family and Event B
4. Xi Wang: Software Product Family and SOFL