Synthesis of Control Algorithms for Aircrafts Separation with Simultaneous Breaking of Bonds | IEEE Conference Publication | IEEE Xplore