An Embedded Processor Debugging Model Based on Observability and Controllability. - Hu Xiao; Tang Ting; Luo Fenghua (ICA3PP (6), 2025)