Camille Salinesi Colette Rolland Raúl Mazo VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. 173-176 2009 VaMoS http://www.vamos-workshop.net/proceedings/VaMoS_2009_Proceedings.pdf conf/vamos/2009 db/conf/vamos/vamos2009.html#SalinesiRM09