Alloy models of aspects of Managed Delivery - View it on GitHub