A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems.