Modeling in the large: model libraries.

However, many aspects in the interplay between state machines and other types of models are unclear in current modeling languages, such as UML and SysML. If the reuse of models can be standardized in specific domains, then model-based software and systems engineering will progress with even more breakthroughs. [Extracted from the article]