Modeling Short-Term Security in Electricity Markets