On-line testing of embedded systems using optical probes: system modeling and probing technology | IEEE Conference Publication | IEEE Xplore