Using complementary models-based approaches for representing and analysing ATM systems' variability. - Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta; E. Rigaud; Sara Silvagni (ATACCS, 2012)