Hariati, Mehdi. “Formal Verification Issues For Component-Based Development”. Informatica 44, no. 4 (December 15, 2020). Accessed January 10, 2026. https://www.informatica.si/index.php/informatica/article/view/3152.