Knowledge-based software development for real-time distributed systems