Rachida Dssouli, Kamel Karoui, Kassem Saleh, Omar Cherkaoui. Communications software design for testability: specification transformations and testability measures. Information \& Software Technology, 41(11-12):729-743, 1999. [doi]
Abstract is missing.