PLATERO is a Flight Validation Platform
for PBN Airplane and Helicopter Procedures