Sitvanit Ruah Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. 263-264 2006 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=368 conf/fdl/2006 db/conf/fdl/fdl2006.html#Ruah06