A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. - Mahesh Nanjundappa; Matthew Kracht; Julien Ouy; Sandeep Kumar Shukla (ACSD, 2013)

Abstraction of polychronous dataflow specifications into mode-automata. - Julien Ouy; Matthew Kracht; Sandeep K. Shukla (ICSAMOS, 2013)