Khan, M.N. et al. 2025. MBT for Functional Testing of Embedded Systems. International Journal of Computer Sciences and Engineering. 4, 5 (Nov. 2025), 10–16.