Whoever calculated the ASDA distance to be less than TORA is wrong. ASDA value is either equal to TORA (when no stopway provided) or more (when stopway is provided). The origin of the RESA starts 60m (runway strip) beyond the end of TORA or ASDA. Check ICAO Annex 14.