NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. - Christian Webel; Reinhard Gotzhein; Joachim Nicolay (FORTE, 2008)