Faithful Modeling of Product Lines with Kripke Structures and Modal Logic | Publicación