Opening book details…
Elevator System Modeling with Alloy by maya khan is a document available to read on EtoBox.