Last updated 30.01.14
This page directs you to the two versions of the ABZ 2014 Landing Gear Case Study done in Hybrid Event-B.
There is the original conference version, and the later, more complete, journal version.