Ramy Shahin, Rafael Toledo, Robert Hackman, Ramesh S, Joanne M. Atlee, Marsha Chechik. Applying declarative analysis to industrial automotive software product line models. Empirical Software Engineering, 28(2):40, March 2023. [doi]
Abstract is missing.