Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011) | IEEE Conference Publication | IEEE Xplore