Hariati, M. Formal Verification Issues For Component-Based Development. IJCAI 2020, 44.