Provably forgetting of information in manufacturing systems: Verification of the KASTEL industry demonstrator

@Report{WeiglTr2019,
    author       = {Weigl, Alexander},
    year         = {2019},
    title        = {Provably Forgetting of Information in Manufacturing Systems: Verification of the KASTEL Industry Demonstrator},
    doi          = {10.5445/IR/1000117803},
    institution  = {{KIT, Fakultät der Informatik}},
    language     = {english},
    keywords     = {kastel-svi}
}```