Work-in-Progress: Layering Concerns for the Analysis of Credit-Based Shaping in IEEE 802.1 TSN | IEEE Conference Publication | IEEE Xplore