publication venue for
- Innovative technology concealed in a thrilling body. 6:56-59. 2006
- Software solutions for virtual racing cars. 5:54-57. 2005
- Software Safety Architecture that can be Formally Verified. 4:66-68. 2004
- Top level architecture opens up the future for navigation technology. 2:68-70. 2002