Kaisa Sere: In Memoriam Luigia PetreElena TroubitsynaMarina Waldén Obituary 09 January 2014 Pages: 197 - 201
Discovery of invariants through automated theory formation Maria Teresa LlanoAndrew IrelandAlison Pease Original Article 16 October 2012 Pages: 203 - 249
The behavioural semantics of Event-B refinement Steve SchneiderHelen TreharneHeike Wehrheim OriginalPaper 23 October 2012 Pages: 251 - 280
Derivation of concurrent programs by stepwise scheduling of Event-B models Pontus BoströmFredrik DegerlundMarina Waldén Original Article 08 September 2012 Pages: 281 - 303
Introducing extra operations in refinement Eerke A. Boiten Original Article 23 October 2012 Pages: 305 - 317
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application Richard BanachHuibiao ZhuRunlei Huang Original Article 21 October 2012 Pages: 319 - 366
Refinement-based verification of implementations of Stateflow charts Alvaro MiyazawaAna Cavalcanti Original Article 15 December 2013 Pages: 367 - 405
Relational concurrent refinement part III: traces, partial relations and automata John DerrickEerke Boiten Original Article 22 September 2012 Pages: 407 - 432