Formalize clinical processes into electronic health information systems: Modelling a screening service for diabetic retinopathy. - Aitor Eguzkiza; Jesús D. Trigo; Miguel Martínez-Espronceda; Luis Serrano; José Andonegui (J. Biomed. Informatics, 2015)