Towards software architecture formalization - Dias, Fagner Morais (2023)