Khan, M. N.; Arya, N.; Singh, A. P. MBT for Functional Testing of Embedded Systems. Int. J. Comp. Sci. Eng. 2025, 4, 10-16.