Model-Based Testing Using Scenarios and Event-B Refinements.

Qaisar A. Malik Johan Lilius Linas Laibinis Model-Based Testing Using Scenarios and Event-B Refinements. 177-195 2009 Methods, Models and Tools for Fault Tolerance http://dx.doi.org/10.1007/978-3-642-00867-2_9 series/lncs/5454 db/series/lncs/lncs5454.html#MalikLL09