Model-based design, development and V&V

Design, development and V&V based on models of complex software-based distributed and cyber-physical systems.