Formal Design of a Slow-Down Component for Almost Synchronous Streams | IEEE Conference Publication | IEEE Xplore