Easy modelling and verification of unpredictable and preemptive interrupt-driven systems

202402 bcchAccepted ManuscriptRGCOthersNational Key R&D Program of China; National Natural Science Foundation of China; Fundamental Research Funds for the Central Universities of ChinaPublishedGreen (AAM