Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach. - Abhishek Dubey; Xianbin Wu; Hang Su 009; Tak-John Koo (ATVA, 2005)

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. - Hang Su 009; Graham Hemingway; Kai Chen 010; Tak-John Koo (ATVA, 2006)

A Semantic Anchoring Infrastructure for the Design of Embedded Systems. - Graham Hemingway; Hang Su 009; Kai Chen 010; Tak-John Koo (COMPSAC (1), 2007)