"Critical Analysis of the PIE Testability Technique."

Zuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics