Hariati, Mehdi. “Formal Verification Issues For Component-Based Development”. Informatica, vol. 44, no. 4, Dec. 2020, doi:10.31449/inf.v44i4.3152.