publication venue for

• Architecture exploration and timing estimation during early design phases.  15:29-39. 2012
• Model checking C source code for embedded systems.  11:187-202. 2009
• A verification approach to applied system security.  7:233-247. 2005