Configurable Satisfiability Propagation for Goal Models Using Dynamic Compilation Techniques | Publicación