J. Y. Chen, W. B. Jone, J. S. Wang, and H. ,

T. F. Lu and . Chen, Segmented bus design for low-power systems, IEEE Trans. on VLSI Systems, vol.7, issue.1, pp.25-29, 1999.

L. De-moura and N. Bjørner, Z3: An Efficient SMT Solver, TACAS, pp.337-340, 2008.

, Mathematical programming vs constraint programming

T. Davidovi, L. Liberti, N. Maculan, and N. Mladenovic, Mathematical programming-based approach to scheduling of communicating tasks, 2005.

W. Steiner, An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks, RTSS, pp.375-384, 2010.

S. Voss and B. Schtz, Deployment and scheduling synthesis for mixedcritical shared-memory applications, ECBS, pp.100-109, 2013.

S. Voss, J. Eder, and F. Hölzl, Design Space Exploration and its Visualization in AUTOFOCUS3, SE Workshop, vol.1129, pp.57-66, 2014.

Z. Cheng, H. Zhang, Y. Tan, and Y. Lim, SMT-Based Scheduling for Overloaded Real-Time Systems, IEICE Transactions on Information and Systems, pp.1055-1066, 2017.

K. Rosvall and I. Sander, A constraint-based design space exploration framework for real-time applications on MPSoCs, DATE, pp.1-6, 2014.

K. Rosvall and I. Sander, Flexible and Tradeoff-Aware Constraint-Based Design Space Exploration for Streaming Applications on Heterogeneous Platforms, ACM TODAES, vol.23, issue.2, pp.1-21, 2017.

K. Rosvall, T. Mohammadat, G. Ungureanu, J. Berg, and I. Sander, Exploring Power and Throughput for Dataflow Applications on Predictable NoC Multiprocessors, in DSD, pp.719-726, 2018.

P. Tendulkar, Mapping and Scheduling on Multi-core Processors using SMT Solvers, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01087271

, TTool, 2006.

I. Sander, System Modeling and Design Refinement in ForSyDe, 2003.

J. E. Kelley and M. R. Walker, Critical-path planning and scheduling, IRE-AIEE-ACM, pp.160-173, 1959.

E. Kang, E. Jackson, and W. Schulte, An Approach for Effective Design Space Exploration, Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, pp.33-54, 2011.