PT Unknown AU Weigl, A TI Provably Forgetting of Information in Manufacturing Systems: Verification of the KASTEL Industry Demonstrator PY 2019 DI 10.5445/IR/1000117803 LA english ER