@ARTICLE{MMCR2013,
  author = {Millo, Jean-Vivien and Mallet, Frédéric and Coadou, Anthony and Ramesh,
	S.},
  title = {Scenario-based verification in presence of variability using a synchronous
	approach},
  journal = {Frontiers of Computer Science},
  year = {2013},
  volume = {7},
  pages = {650-672},
  number = {5},
  doi = {10.1007/s11704-013-3094-6},
  issn = {2095-2228},
  keywords = {Esterel; UML MARTE; scenario; verification; feature interaction; variability},
  language = {English},
  publisher = {Springer Berlin Heidelberg},
  url = {http://dx.doi.org/10.1007/s11704-013-3094-6}
}