Без заголовка

Оффтоп: возможно, Вам будет интересно: Проект DARPA, http://en.wikipedia.org/wiki/Adaptive_Vehicle_Make#META раздел "META":

The goal of META is to analyse interactions between components and provide verification and validation (V&V) of designs without prototyping in order to shorten development time. META will develop new languages or language extensions that encapsulate sufficient complexity to compile a component library, context library, and manufacturing library for this type of analysis and certification.

Да и в целом подход выглядит как то, что может Вас заинтересовать.