The Router from the Alloy Framework