“Formal Approach for UML Components Based Development Profile”. 2018. University of Sindh Journal of Information and Communication Technology 2 (2): 125-29. https://sujo.usindh.edu.pk/index.php/USJICT/article/view/520.