There are different Alloy applications (railway switching, access control, etc). For example, hotel room locking in "Software Abstractions". But how can I implement such model in real hotel?:-) Are there some articles or examples of code when Alloy is used in real-life problems?
Thanks! Vadik.