An MDE Based Approach for Generating Software Architecture Models from Formal Specifications | IEEE Conference Publication | IEEE Xplore