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