Experimental and theoretical studies on atomic structures of the interface states at SiO2/4H-SiC(0001) interface