EA Lee,
M Sirjani - Formal Aspects of Component Software: 15th …, 2018 - Springer
Abstract Models are central to engineering. They are used for analysis, synthesis, and
communication between humans. A given artifact or process may have multiple models with …