2005

1. A formal methodology to test complex embedded systems: Application to interactive driving system

   IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136

2. A formal methodology to test complex embedded systems: Application to interactive driving system

   From Specification to Embedded Systems Application