Stability-constrained optimal power flow and its application to pricing power system stabilizers | IEEE Conference Publication | IEEE Xplore