Observability relations and observability don't cares | IEEE Conference Publication | IEEE Xplore