@misc{indiciae92e5bf500de4, title = {Modeling and Analysis of the Landing Gear System with the Generalized Contracts}, author = {Abdelkader Khouass and christian attiogbé and mohamed messabihi}, year = {2025}, url = {https://arxiv.org/abs/2111.10426}, note = {Source identifier: 2111.10426} }