A system for evaluating on-line testability at the RT-level | IEEE Conference Publication | IEEE Xplore