A Framework to Analyse Synchronous Data-Flow Specifications (2001)

by Mirabelle Nebut , Sophie Pinchinat