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