Butler, Keith

Butler KA, Mercer E, Bahrami A, et al. Model checking for verification of interactive health IT systems. AMIA Annu Symp Proc 2015;2015:349–58. PMID: 26958166.

Butler K. Modeling and Analysis of Clinical Care for Health Information Technology Improvement - Final Report. (Prepared by University of Washington under Grant No. R01 HS021233). Rockville, MD: Agency for Healthcare Research and Quality, 2016.

Eisenstein EL, Butler KA. Health informatics-enabled workflow redesign and evaluation. Stud Health Technol Inform 2015;208:131-6. PMID: 25676961.

Eisenstein EL, Butler KA. Health informatics-enabled workflow redesign and evaluation. Stud Health Technol Inform 2015;208:131-6. PMID: 25676961.

Berry AB, Butler KA, Harrington C, et al. Using conceptual work products of health care to design health IT. J Biomed Inform 2016 Feb;59:15-30. PMID: 26528606.