Control Design And Implementation For The Self-Separation of In-Trail Aircraft