Specification and Reasoning about Discrete Simulation Models: a Case Study by Ole-Johan Dahl | Menrva Books | MenrvaBooks