Robert L. Probert, Kassem Saleh, Hualong Yu: Validation-directed specification of communications systems. Inf. Softw. Technol. 37(8): 403-410 (1995)