Shadow models: incremental transformations for MPS. - Markus Voelter; Klaus Birken; Sascha Lisson; Alexander Rimer (SLE, 2019)