@parlar @gvwilson I would love to hear about your experiences on achieving adoption of TLA+ and Alloy inside of Rackspace.