UML-SDL modelling of the FPTP QoS oriented transport protocol | IEEE Conference Publication | IEEE Xplore