Automated Behavioural Identification and Timing Verification of Pulse Gate Systems