M. Hariati, “Formal Verification Issues For Component-Based Development”, IJCAI, vol. 44, no. 4, Dec. 2020.