A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: an Industrial Case StudyAs of May 2026, all Simula affiliated publications are now stored in The Norwegian Research Information Repository (NVA).See this publication on NVA