CIF models used in the FMICS 2019 paper
Compatible with CIF version r9682, downloaded from: http://cif.se.wtb.tue.nl/
Specific tooling for automatic clustering and generating all supervisors for modular and multilevel synthesis are not yet publicly available.
The folder ADAS contains all the models of the Advanced Drived Assistant Systems.
The folder FESTO contains all the models of the FESTO production line.
The folder LockIII contains all models of Lock III.
The folder Marijkesluis contains all models of the Prinses Marijke complex.
For any questions related to the code please contact: [email protected].