Eddy Bernard Bruno Legeard Requirements traceability in the model-based testing process. 45-54 2007 conf/se/2007w Software Engineering (Workshops) db/conf/se/se2007w.html#BernardL07