Throughput based temporal verification for monitoring large batch of parallel processes · Study