Xiang Chen Joanne M. Atlee Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. 307-318 2023 conf/models/2023 MODELS https://doi.org/10.1109/MODELS58315.2023.00034 db/conf/models/models2023.html#ChenA23