C Chen, Z Hong, JM Jiang - ACM Transactions on Embedded …, 2022 - dl.acm.org
To guarantee the safety and security of a real-time mobile system such as an intelligent
transportation system, it is necessary to model and analyze its behaviors prior to actual …