Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla: Towards refinement types for time-dependent data-flow networks. MEMOCODE 2015: 36-41