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

Не, вот тут слабО, шибко многопоточный получится :) Возвращаясь к частным случаям - КА обязан быть нереентрантным по своей сути. При этом реентрантную реализацию написать все-таки можно, НО! всю дополнительную ботву на графе КА Вы отобразить просто не сможете, соответственно будут дыры в проектной документации, поддержке и т.д.. В результате проект станет понятен только Вам.