M. F. Rahmadani, R. R. Riskiana, and D. S. Kusumo, “REUSE OF THE EFSM MODEL OF PEDULILINDUNGI APPLICATION IN SATUSEHAT APPLICATION TESTING WITH MBT METHOD”, J. Tek. Inform. (JUTIF), vol. 5, no. 3, pp. 757–765, May 2024.