A. Bhutto and D. M. Akber Hussain, “Formal Approach for UML Components based Development Profile”, USJICT, vol. 2, no. 2, pp. 125-129, Apr. 2018.