References

• Li Huang, Tian Liang, and Eun-Young Kang, Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems, In the International conference on Software Quality, Reliability, and Security (QRS'19), pp. 228-239, IEEE, 2019.
• Li Huang and Eun-Young Kang, Formal Verification of Safety & Security Related Timing Constraints for A Cooperative Automotive System, In the European Joint Conferences on Theory & Practice of Software (ETAPS'19 -- FASE'19), pp. 210-227, Springer, 2019.
• Eun-Young Kang, Dongrui Mu, and Li Huang. "Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC." In the International Conference on Integrated Formal Methods (iFM'18), pp. 236-254, Springer, 2018.
• Eun-Young Kang, Li Huang, and Dongrui Mu. "Formal Verification of Energy and Timed Requirements for a Cooperative Automotive System." In the Annual ACM Symposium on Applied Computing (SAC'18), pp. 1492-1499, ACM, 2018.
• Eun-Young Kang, Li Huang, and Dongrui Mu. "Verification and Validation of a Cyber-Physical System in the Automotive Domain." In the International Conference onSoftware Quality, Reliability and Security Companion (QRS'17-C), pp. 326-333, IEEE, 2017.
• Eun-Young Kang, Li Huang, and Dongrui Mu. "Model-based Analysis of Timing and Energy Constraints in an Autonomous Vehicle System." In the International Conference onSoftware Quality, Reliability and Security Companion (QRS'17-C), pp. 525-532, IEEE, 2017.
• Eun-Young Kang, Dongrui Mu and Li Huang, "Probabilistic Analysis of Weakly-Hard Real-Time Systems", School of Data and Computer Science, Sun Yat-Sen University, Technical Report TR-SDCS-18, 2018. [Online]. Available: arXiv: 1807.00003.
• Eun-Young Kang and Li Huang, "Formal Specification and Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier", School of Data and Computer Science, Sun Yat-Sen University, Techinical Report TR-SDCS-18, 2018. [Online]. Available: arXiv: 1806.07702.
• Eun-Young Kang, Li Huang, and Dongrui Mu, "Formal Analysis of Non-functional Properties for a Cooperative Automotive System", School of Data and Computer Science, Sun Yat-Sen University, Technical Report TR-SDCS-17, 2018. [Online]. Available: arXiv: 1803.06075.
• Charles André. Syntax and Semantics of the Clock Constraint Specifcation Language (CCSL). [Research Report] RR-6925, INRIA. 2009, pp.37. <inria-00384077v2>
• Mallet, Frédéric, and Robert De Simone. Correctness issues on MARTE/CCSL constraints. Science of Computer Programming 106 (2015), pp. 78-92.