Towards Consistency Analysis between Formal and Informal Software Architecture Artefacts | IEEE Conference Publication | IEEE Xplore