Clarke D, Muschevici R, Proença J, Schaefer I, Schlatte R.? 2010.??Variability Modelling in the ABS Language. 9th International Symposium on Formal Methods for Components and Objects - FMCO . :204?224.