Frank S. de Boer, Michiel Helvensteijn, Joost Winter. A modal logic for abstract delta modeling. In Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, editors, 16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 2. pages 45-52, ACM, 2012. [doi]
Abstract is missing.