An instrumented observability coverage method for system validation | IEEE Conference Publication | IEEE Xplore