Yixiao Lv, Jiaqi Yin, Sini Chen, Huibiao Zhu. Formalization and Verification of the ICC Mechanism in Android System Using CSP. In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 - Workshops, Florence, Italy, October 9-12, 2023. pages 89-95, IEEE, 2023. [doi]