DeltaCCS: A Core Calculus for Behavioral Change. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (ISoLA (1), 2014)

Incremental model checking of delta-oriented software product lines. - Malte Lochau; Stephan Mennicke; Hauke Baller; Lars Ribbeck (J. Log. Algebraic Methods Program., 2016)