Формальные языки
Имеем как минимум UML и SysML. Как максимум - марковские цепи, сети Петри, и еще туеву хучу формализмов. В случае с UML помимо языка существует огромное количество профайлов для его использования. Как это всё объять? Применительно к SysML - на первый взгляд нечто очень похожее на UML, но типа проще. Спека о 300 страницах. Похоже придется вгрызаться где-то после описания одной системки на UML и изучением какой-то системы проектирования.