Qaisar A. Malik, Johan Lilius, Linas Laibinis. Model-Based Testing Using Scenarios and Event-B Refinements. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 177-195, Springer, 2009. [doi]
Abstract is missing.