ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and … in Computer and Information Science)
The SECD Microprocessor: A Verification Case Study (The Springer International Series in Engineering and Computer Science, 178)