"Optimal SAT-based scheduler for time-triggered networks-on-a-chip."

Christian Scholer et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics