эмуляция работы контроллера Simulink, Stateflow Опции

[max_mart]

Народ, всем привет.

Насколько я знаю МАТЛАБ может все. В инете находил, что некоторые люди умудрялись использовать Симулинк и Stateflow для проверки написанного кода микроконтроллера на соответствие техническим требованиям (переходы, состояния, режимы работы и т.д.).
Но информации и детального описания как это сделать нету.
Народ подскажите, пожалуйста, где это можно найти и как это реализовать?