A nonlinear observability formulation for power systems incorporating generator dynamics | IEEE Conference Publication | IEEE Xplore