Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad: Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access 6: 64728-64741 (2018)