@incollection{Nebut2006,
        title = {System Testing of Product Lines: From Requirements to Test Cases},
        author = {Cl{\'e}mentine Nebut and Yves Le Traon and Jean-Marc J{\'e}z{\'e}quel},
        booktitle = {Software Product Lines},
        crossref = {DBLP:conf/splc/2006book},
        pages = 447,
        publisher = {Springer-Verlag},
        year = 2006,
        url = {http://dx.doi.org/10.1007/978-3-540-33253-4_12},
        description = {pages = 447--477},
	biburl = {http://www.bibsonomy.org/bibtex/2b7b5fe3e770c66b6452c90fd9dd170a3/ist_spl},
	keywords = {product system cases OCL use line testing TGV UML LTS requirements}
}