Virtual Testing example #2 : validating PLC codes.