1. Guest Editor’s introduction

   • Mike Hinchey
   • Tiziana Margaria
   • Bernhard Steffen

   Editorial 20 June 2009 Pages: 173 - 174

2. An automated testing experiment for layered embedded C code

   • Boutheina Chetali
   • Quang-Huy Nguyen

   Regular Paper 20 March 2009 Pages: 175 - 185

3. Model checking C source code for embedded systems

   • Bastian Schlich
   • Stefan Kowalewski

   Regular Paper 19 March 2009 Pages: 187 - 202

4. Flexibility in modeling languages and tools: a call to arms

   • Eric Van Wyk
   • Mats Per Erik Heimdahl

   Regular Paper 15 April 2009 Pages: 203 - 215

5. System-on-chip design by proof-based refinement

   • Dominique Cansell
   • Dominique Méry
   • Cyril Proch

   Regular Paper 24 March 2009 Pages: 217 - 238

6. Encoding a process algebra using the Event B method

   • Yamine Ait-Ameur
   • Mickael Baron
   • Jean-Marc Mota

   Regular Paper 18 March 2009 Pages: 239 - 253

7. Satisfiability solving for software verification

   • David Déharbe
   • Silvio Ranise

   Regular Paper 24 March 2009 Pages: 255 - 260

8. Formalizing interoperability for test case generation purpose

   • Alexandra Desmoulin
   • César Viho

   Regular Paper 24 March 2009 Pages: 261 - 267