Towards Machine-assisted Formal Procedures for the Collection of Digital Evidence