Tautology checking using cross-controllability and cross-observability relations | IEEE Conference Publication | IEEE Xplore