1. Verifying OSEK/VDX automotive applications: A Spin‐based model checking approach. (19th February 2018) Authors: Zhang, Haitao; Li, Guoqiang; Cheng, Zhuo; Xue, Jinyun Journal: Software testing, verification & reliability Issue: Volume 28:Number 3(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗