EP3907615B1 - Method and System for Testing the Operation of a Target Computer System by Using Timed Requirements