M. N. Khan, N. Arya, and A. P. Singh, “MBT for Functional Testing of Embedded Systems”, Int. J. Comp. Sci. Eng., vol. 4, no. 5, pp. 10–16, Nov. 2025.