[Front cover] (PDF)
Title Page i (PDF)
Title Page iii (PDF)
[Copyright notice] (PDF)
Table of contents (PDF)
Preface (PDF)
Organizing Committee (PDF)
Program Committee (PDF)
Steering Committee (PDF)
Sponsors (PDF)
Keynotes (PDF)
Panel (PDF)
Model Driven Validation of System Architectures (Abstract)
An Event-B Interpretation for SPARDL Model (Abstract)
Discriminatively Fortified Computing with Reconfigurable Digital Fabric (Abstract)
Leader-Determined Membership Protocol (Abstract)
Guidelines for Formal Domain Modeling in Event-B (Abstract)
A Security Modelling Framework for Systems of Embedded Components (Abstract)
Towards a Security Domain Model for Embedded Systems (Abstract)
High-Assurance Reconfigurable Multicore Processor Based Systems (Abstract)
Ensemble Coordination for Discrete Event Control (Abstract)
Benchmarking Embedded Software Development Project Performance (Abstract)
Multi-layer Monitoring for Cloud Computing (Abstract)
GUI Software Fault Localization Using N-gram Analysis (Abstract)
So Much to Learn from One Accident Crash of 737 on 25 February 2009 (Abstract)
Transforming Privacy Policies to Auditing Specifications (Abstract)
Author Index (PDF)
[Publishers information] (PDF)