Describir: A Geometric Approach to Scheduling of Concurrent Real-time Processes Sharing Resources