Design and implementation of test case template - observer pairs for automated security analysis of Digital Twins