Refinement-based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone. - Fanlang Zeng; Rui Chang; Hao Xu; Shaoping Pan; Yongwang Zhao (Int. J. Softw. Informatics, 2023)