Миро Самек. Книга (две редакции, причем рекомендую читать обе) прям
на сайте https://www.state-machine.com/category/booksну и там же рядом статьи полезные, сорцы на гитхабе (Quantum Leaps) https://github.com/QuantumLeaps
Немного переводов статей --> https://embedders.org/category/tags/miro-samek
Шалыто говорит о том, как продать долгострой по частям. Примерно как для программ правильно рисовать функциональные схемы с идентификацией каждого узелочка для вписывания в спецификацию (и, соответственно, в смету и в акты приемки работ - процентовки) вместо нарисовать микроконтроллер как черный квадратик с рядом валяющимся недописанным томиком ПО (и ждать оплату годами). Процесс разработки (само)документированной программы, разбитой на компоненты по спецификации, кроме того возможно планировать с учетом человеко-часов, т.е. 9 комсомолок могут разбеременеть за 1 месяц. И в этом он красавчик. У Шалыто то, что обычно пропускается в консерватории, а именно обучение управлению проектированием программного продукта с учетом жизненного цикла.
Не все имеют возможность продавать тэги в ПО к своим PLC. Но по Шалыто можно приблизиться.
Из вводной рецензии к книге Шалыто
Предлагаемый подход позволяет создавать качественное программное обеспечение
для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая
его спецификацию, проектирование, реализацию, тестирование, верификацию и
документирование
Из предисловия
Изложение охватывает все аспекты создания
программной системы: проектирование, спецификацию и реализацию