Muhammad Ridho Kurniawan Pratama, Deni Utama, and Rauhil Fahmi. “est-irst rotocol for eriving nit ests from se ase pecifications”. Jurnal Nasional Teknik Elektro dan Teknologi Informasi 15, no. 1 (February 27, 2026): 72-80. ccessed July 12, 2026. https://journal.ugm.ac.id/v3/JNTETI/article/view/24073.