A methodology for fault diagnosis in batch reactors