Controllability and observability measures for functional-level testability evaluation | IEEE Conference Publication | IEEE Xplore