Faithfully formalizing OSEK/VDX operating system specification. - Dieu-Huong Vu; Toshiaki Aoki (SoICT, 2012)

Checking the Conformance of a Promela Design to its Formal Specification in Event-B. - Dieu-Huong Vu; Yuki Chiba; Kenro Yatake; Toshiaki Aoki (FTSCS, 2014)

A Framework for Verifying the Conformance of Design to Its Formal Specifications. - Dieu-Huong Vu; Yuki Chiba; Kenro Yatake; Toshiaki Aoki (IEICE Trans. Inf. Syst., 2015)

Verifying OSEK/VDX OS Design Using Its Formal Specification. - Dieu-Huong Vu; Yuki Chiba; Kenro Yatake; Toshiaki Aoki (TASE, 2016)