Chung-Wei Lin Poster: Formal QoS Compatibility Verification for Components on Time-Sensitive Networking. 1-2 2018 VNC https://doi.org/10.1109/VNC.2018.8628348 conf/vnc/2018 db/conf/vnc/vnc2018.html#Lin18