Khan, Mohammed Naim, et al. “MBT for Functional Testing of Embedded Systems”. International Journal of Computer Sciences and Engineering, vol. 4, no. 5, Nov. 2025, pp. 10-16, https://ijcse.isroset.org/index.php/j/article/view/1122.