A software debugger interface for an 8051 hardware model | IEEE Conference Publication | IEEE Xplore