Formalization of clinical trial eligibility criteria: Evaluation of a pattern-based approach | IEEE Conference Publication | IEEE Xplore