The following publications are possibly variants of this publication:
- SMT-Based Bounded Model Checking for OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Hsin-hung Lin, Min Zhang 0002, Yuki Chiba, Kenro Yatake. apsec 2013: 307-314 [doi]
- Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking ApproachHaitao Zhang, Toshiaki Aoki, Yuki Chiba. ieicet, 98-D(10):1765-1776, 2015. [doi]
- Verifying OSEK/VDX automotive applications: A Spin-based model checking approachHaitao Zhang, Guoqiang Li 0001, Zhuo Cheng, Jinyun Xue. stvr, 28(3), 2018. [doi]
- A Spin-Based Approach for Checking OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Yuki Chiba. ftscs 2015: 239-255 [doi]
- An Approach for Checking OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-hung Lin. qsic 2013: 113-116 [doi]