@inproceedings{thiele_2016_55531, author = {Thiele, Daniel and Ernst, Rolf}, title = {{Formal analysis based evaluation of software defined networking for time-sensitive Ethernet}}, booktitle = {{2016 Design, Automation \& Test in Europe Conference \& Exhibition (DATE)}}, year = 2016, pages = {31-36}, publisher = {IEEE}, month = jul, venue = {Dresden}, doi = {10.5281/zenodo.55531}, url = {https://doi.org/10.5281/zenodo.55531} }