Real-time validation of an ADS-B based aircraft conflict detection system