Actually either type of sensor will work, there are two options (one to mount on the bottom of the door and one at the top) since these would be closed at opposite times one of the two will work with a NO or NC sensor (depending on where you mount it)
(With my firmware at least)
