Recommendations for improving the usability of formal methods for product lines. - Joanne M. Atlee; Sandy Beidu; Nancy A. Day; Fathiyeh Faghih; Pourya Shaker (FormaliSE@ICSE, 2013)

Incremental and Commutative Composition of State-Machine Models of Features. - Sandy Beidu; Joanne M. Atlee; Pourya Shaker (MiSE@ICSE, 2015)

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. - Shoham Ben-David; Baruch Sterin; Joanne M. Atlee; Sandy Beidu (ICSE (1), 2015)

Merging Features in Featured Transition Systems. - Joanne M. Atlee; Sandy Beidu; Uli Fahrenberg; Axel Legay (MoDeVVa@MoDELS, 2015)

Detecting Feature Interactions in FORML Models. - Sandy Beidu; Joanne M. Atlee (From Software Engineering to Formal Methods and Tools, and Back, 2019)