Applications and Extensions of Alloy: Past, Present, and Future

   Abstract