Volume 280, December 2011

Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011), Ireland, 21 June 2011

• 
  Marie-Laure Potet, Helen Treharne: Preface. 1-2
• 
  Marc V. Benveniste: On Using B in the Design of Secure Micro-controllers: An Experience Report. 3-22
• 
  Jean-Paul Bodeveix, Mamoun Filali: Event B Development of a Synchronous AADL Scheduler. 23-33
• 
  Dipak Chaudhari, Om P. Damani: Generating Hierarchical State Based Representation From Event-B Models. 35-46
• 
  Marc Frappier, Fama Diagne, Amel Mammar: Proving Reachability in B using Substitution Refinement. 47-56
• 
  Simon Hudon, Thai Son Hoang: Development of Control Systems Guided by Models of their Environment. 57-68
• 
  Steve Schneider, Helen Treharne, Heike Wehrheim: Bounded Retransmission in Event-B∥CSP: a Case Study. 69-80
• 
  Renato Silva: Towards the Composition of Specifications in Event-B. 81-93