A robust and lightweight stable leader election service for dynamic systems