RealTimeScheduling (julia): Real-time systems modeling and schedulability analysis
Keywords: julia|real-time|schedulability