A fuzzing and protocol analysis case study of DNP3