Model-Based API-Call Constraint Checking for Automotive Control Software. - Dongwoo Kim; Yoohee Chung; Yunja Choi (APSEC, 2016)

Modeling OSEK/VDX OS Requirements in C. - Yoohee Chung; Dongwoo Kim; Yunja Choi (APSEC, 2017)