Academics: Tools for developing real-time systems