  Nowadays, there are several complex systems in different sectors such as
aviation, air traffic control ...etc. These systems do not have a precise
perimeter, they are open and made of various specific components built with
different languages and environments. The modeling, assembly and analysis of
such open and complex heterogeneous systems are challenges in software
engineering. This paper describes how the Minarets method decreases the
difficulty of modeling, composition and analysis of the well known case study
of the landing gear system. The method consists in: equipping individual
components with generalized contracts that integrate various facets related to
different concerns, composing these components according to their facets and
verifying the resulting system with respect to the involved facets as well. The
proposed method may be used or extended to cover more facets, and by
strengthening assistance tool through proactive aspects in modeling, composing
multi-facets contracts and finally the verification of the heterogeneous
systems.
