375	  Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael  (2012) Formal modelling for Ada implementations: Tasking Event-B.  In: Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm.    (In Press)