Técnicas formais de análise e design de organizações e implementação em plataformas low-code para implementação rápida de automatizações.