Средства и методы разработки

Я сейчас работаю в проекте, где до меня лет 6 такие "штатные" и в целом и по отдельности неплохие люди и программеры напейсали транспортный секурный уровень. Со свичами. немереным кол-вом глобальных переменных, замешав в одну огромную функцию все что только можно. В общем создали вечный источник зарплаты. Одно плохо, невозможно избавиться от багов. Причем уже наступил некий динамический баланс между фиксами старых и добавлением новых. В конце концов решено секурность полностью переписать как автомат состояний. Кол-во сущностей будет минимально необходимым, просто сами сущности переместятся из "самодельного неконтролируемого текстового вида" в более "формализуемый наглядный верифицируемый графический вид". Наши работодатели чтут закон и одновременно не любят платить деньгу (ИАРу в данном случае) поэтому выбрали yakindu