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