ETS - a performance prediction tool for protocols specified in FDT Estelle. - Imrich Chlamtac; K. G. Satam (Microprocess. Microprogramming, 1992)