A real-time language with a schedulability analyzer | lit.salon