The Audio Video Bridging (AVB) Task Group from the IEEE proposed a series of standards to provide Ethernet with soft real-time guarantees. Later on, the group was renamed to Time-Sensitive Networking and its scope was broadened to provide new services to more critical applications. The Stream Reservation Protocol (SRP) stands out among the projects developed by the groups, as it is key to bound the transmission delay and to minimize frame loss due to lack of resources. Nonetheless, SRP was originally designed for audio/video applications and does not take into account properties that are important for critical systems; such as termination. In this work we study the termination of the reservations using AVB’s SRP. We used Uppaal to model the protocol and to verify the property. We see that SRP does not provide termination, we discuss how the lack of termination can impact critical applications and we propose a series of solutions to provide termination using SRP.