<style face="normal" font="default" size="100%">Derivation and Formal Verification of a Mode Logic for Layered Control Systems</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Derivation and Formal Verification of a Mode Logic for Layered Control Systems</style>

Drupal-Biblio

5

<style face="normal" font="default" size="100%">Developing Mode-Rich Satellite Software by Refinement in Event-B</style>