Leveraging Variability Modeling Techniques for Architecture Trade Studies and Analysis. Issue 1 (20th August 2013)