Modeling AWS application load balancers using Alloy - View it on GitHub