Modeling OSEK/VDX OS Requirements in C.

Yoohee Chung, Dongwoo Kim, Yunja Choi

Browse the full APSEC paper archive.