Poster: Formal QoS Compatibility Verification for Components on Time-Sensitive Networking | IEEE Conference Publication | IEEE Xplore