Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages | AMiner