M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi: Experience in developing and testing network protocol software using FDTs. Inf. Softw. Technol. 45(12): 815-835 (2003)