Fault Detection in the Automatic Co-administration of Two Drugs for General Anesthesia