Kathrin Rosvall, Nima Khalilzad, George Ungureanu, Ingo Sander. Throughput Propagation in Constraint-Based Design Space Exploration for Mixed-Criticality Systems. In Proceedings of the 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO 2017, Stockholm, Sweden, January 23-25, 2017. pages 4, ACM, 2017. [doi]