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.