@inproceedings{28c9eb0327b94ce69f7da0b36c895f5e,
title = "Model-based Testing Using Scenarios and Event-B Refinements",
author = "Malik, {Qaisar A.} and Johan Lilius and Linas Laibinis",
note = "The Workshop on Methods, Models and Tools for Fault Tolerance, is being held at the Integrated Formal Methods 2007 Conference on 3 July 2007 in Oxford.; conference; 2007-07-02; 2007-07-05 ; Conference date: 02-07-2007 Through 05-07-2007",
year = "2007",
language = "Odefinierat/ok{\"a}nt",
pages = "59–69",
editor = "M Butler and C Jones and A Romanovsky and E Troubitsyna",
booktitle = "Workshop on Methods, Models and Tools for Fault Tolerance, Proceedings",
}