A Lyapunov-based approach for Time-Coordinated 3D Path-Following of multiple quadrotors | IEEE Conference Publication | IEEE Xplore