Validation of an Air-Traffic Controller behavioral model for fast time simulation | IEEE Conference Publication | IEEE Xplore