Automating the analysis of stateful feature models

Tesis descargada desde una pagina web de la Universidad de Sevilla http://www.lsi.us.es/~trinidad/docs/tesis.pdf