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