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