CIF models for the case studies on model properties for nonblocking modular supervisors.
Compatible with CIF version r9682, downloaded from: http://cif.se.wtb.tue.nl/
Specific tooling for automatic generating the dependency graphs are not yet publicly available.
For any questions related to the code please contact: [email protected].