Guest Editorial: Special Issue on Formal Methods and Models for System Design. - Elizabeth Leonard (ACM Trans. Embed. Comput. Syst., 2018)

Investigating the relationships between health and innovation systems to guide innovation adoption. - Elizabeth Leonard; Imke H. de Kock; Wouter G. Bam (ICE/ITMC, 2019)

Investigating the barriers and facilitators to implementing an eHealth innovation into a resource-constrained setting: A South African case study. - Elizabeth Leonard; Imke H. de Kock; Wouter G. Bam (ICE/ITMC, 2020)