1. Parametrised Compositional Verification with Multiple Process and Data Types
(Antti Siirtola and Keijo Heljanko)

2. Tag Machines for Modeling Heterogeneous Systems
(Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg and Axel Legay)

3. Queue-Dispatch Asynchronous Systems
(Alexander Heußner, Gilles Geeraerts and Jean-Francois Raskin)

4. Precision Timed Embedded Systems Using TickPAD Memory
(Matthew Kuo, Partha Roop, Sidharta Andalam and Nitish Patel)

5. Programming and Timing Analysis of Parallel Programs on Multicores
(Eugene Yip, Partha Roop, Morteza Biglari-Abhari and Alain Girault)

6. A Parametric Tool for Applied Process Calculi
(Johannes Borgstrom, Ramunas Gutkovas, Ioana Rodhe  and Bjorn Victor)