Documents
Papers:
- Priority Refinement for Dependent Tasks in Large Embedded Real-Time Software
- Component Allocation with Multiple Resource Constraints for Embedded Real-Time Software Design
- An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
Many more publications are available at the AIRES tool website.