Technical content last updated 30.01.14.
This page contains the Landing Gear Case Study development done for the journal submission. This is a much more complete development, compared with the earlier conference version.
There are a number of levels of the development: Level 00 to Level 07 constitutes the nominal development, while Level 10 and Level 11 cover the faulty version. The pdfs for all these systems have been combined into a single document.
If you spot any bugs, please don't hesitate to contact the author. Thanks.