Alloy example for Dutch Mobile Conference 2013