Design and realization of security checking of day-ahead generation schedules in power market | IEEE Conference Publication | IEEE Xplore