Modeling of energy transactions and ancillary services for dynamic security assessment | IEEE Conference Publication | IEEE Xplore