Guaranteed state estimation of power system via interval constraints propagationBin WangGuangyu Heet al.2013IET Gener. Transm. Distrib.