A real-time language with a schedulability analyzer