Ancillary service markets are a very important part of the standard market design and are under development or implementation on a centralized basis in major U.S. electricity markets. This paper presents the market clearing framework for the co-optimized real-time energy-reserve market that has been developed and implemented in the ISO New England (ISO NE). In this co-optimized market clearing model, reserve products are procured on a zonal basis to satisfy the first and the second contingency protection criteria required by the ISO NE's real-time operations for both the entire area and typical import-constrained areas. The proposed zonal reserve model is derived from simulating each contingency event in the predefined reserve zones. Differing from standard industrial practices, the proposed zonal reserve model recognizes reserve deliverability for nested reserve zones and allocates the zonal total transfer capability between energy and reserves in an economic way. Numerical examples for a two-zone system are presented to demonstrate the validity of this modeling technique.