Semantic Engineering

Free
PAT is a self-contained framework the support of composing real-time systems