The following are Alloy models and dot graph files that accompany the paper "Improving design decomposition".
ParkingLotSubSystem.als — A subsystem (modular) model of a parking lot system.
ParkingLotSystem.als — A system (monolithic) model of the parking lot system
XOXO6.pdf — The dependency diagram of XOXO