Краш-курс Самека ("A Crash Course in UML State Machines") реально хорош. Если перевести его на русский, стандартный UML и Simulink, то, мне кажется, взлетит. Потянут ли студенты? Не знаю.

А можно ссылку? А какие проблемы с Симулинком? Я его активно использовал до открытия для себя UML. Сам Симулинк на самом деле тут не очень, скорее Stateflow и Simevents

https://sourceforge.net/projects/qpc/files/doc/PSiCC2.pdf/download
Проблем нет. Самек делает примеры под свои инструменты, так что, может быть необходимым допиливание, портирование.