Separation Assurance in Urban Air Mobility Systems using Shared Scheduling Protocols