@inproceedings{aly11,
author = "C. Andr{\'e}s and L. Llana and Y. Zhang",
title = "Using formal methods to develop and test a system product line",
booktitle ="International Conference on Data Engineering and Internet Technology, DEIT'11",
publisher = "IEEE Computer Society Press",
pages= "554--557",
year= "2011"}