Аннотации:
This project will result in design tools and technologies that will facilitate the creation
of complex, heterogeneous systems that meet requirements. From a more pure-research perspective,
this project will also lay the foundation for further work into modeling language development and the
application of verification and validation techniques to system design.