A unified algorithm for observability and redundancy analysis | IEEE Conference Publication | IEEE Xplore