Safety Model Scenarios in the Synthetic Air Traffic Management Environment on Bases of LETVIS Real Information System | IEEE Conference Publication | IEEE Xplore