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