Hariati, Mehdi. 2020. “Formal Verification Issues For Component-Based Development”. Informatica 44 (4). https://doi.org/10.31449/inf.v44i4.3152.