Christian Scholer, Rene Krenz-Baath, Ayman Murshed, Roman Obermaisser. Computing optimal communication schedules for time-triggered networks using an SMT solver. In 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, Krakow, Poland, May 23-25, 2016. pages 83-91, IEEE, 2016. [doi]
Abstract is missing.