Sanjai Rayadurgam Anjali Joshi Mats Per Erik Heimdahl Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. 167-186 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=167 2003 conf/icfem/2003 ICFEM db/conf/icfem/icfem2003.html#RayadurgamJH03