Automated disassembly of e-waste—requirements on modeling of processes and product states | Synapse