Model-Based Engineering of complex IT systems

Model-based engineering of complex distributed and cyber-physical systems