Research: Tools for developing real-time systems