“…As a result, in recent years, various methods for automated model composition have been introduced [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15]. Most of these methods involve introducing algorithms to produce a composite model from simpler models originating from partial specifications and assume a formal underlying semantics [7].…”