288	  Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina  (2011) Towards Search-based Testing for Event-B Models.  In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin.