Ramon Serna Oliver, Silviu S. Craciunas, Wilfried Steiner. IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding. In Rodolfo Pellizzoni, editor, IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, 11-13 April 2018, Porto, Portugal. pages 13-24, IEEE Computer Society, 2018. [doi]