Alloy TCMC Modules and Models

CTL and CTLFC Alloy modules:

• ctl.als
• ctlfc.als

• AddressBook.als
• FeatureInteraction.als
• MusicalChairs.als
• TrafficLightController.als