@inproceedings{mery:hal-01245991, TITLE = {{Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study}}, AUTHOR = {M{\'e}ry, Dominique and Rushikesh, Sawant and Tarasyuk, Anton}, URL = {https://inria.hal.science/hal-01245991}, BOOKTITLE = {{Model and Data Engineering - 5th International Conference, MEDI 2015}}, ADDRESS = {Rhodes, Greece}, EDITOR = {Ladjel Bellatreche and Yannis Manolopoulos}, PUBLISHER = {{springer}}, SERIES = {Model and Data Engineering - 5th International Conference, MEDI 2015}, VOLUME = {lncs 9344}, PAGES = {89-102}, YEAR = {2015}, MONTH = Sep, KEYWORDS = {modelling ; refinement ; formal method ; Event-B ; implicit semantics ; explicit semantics nose gear velocity}, HAL_ID = {hal-01245991}, HAL_VERSION = {v1}, }