Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2016):
Incremental model checking of delta-oriented software product lines.
85, [Online-Edition: http://dx.doi.org/10.1016/j.jlamp.2015.09.004],
[Conference or Workshop Item]

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2014):
DeltaCCS: A Core Calculus for Behavioral Change.
In: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), [Conference or Workshop Item]