Adaptive Model Verification for Modularized Industry 4.0 Applications. - Xin, Xin; Keoh, Sye Loong; Sevegnani, Michele; Saerbeck, Martin; Khoo, Teck Ping (IEEE Access, 2022)