Day-ahead reserve capacity procurement based on mixed-integer bilevel linear programming | IEEE Conference Publication | IEEE Xplore