Graphical program transformations for embedded systems. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (SAC, 2019)

Verifying parallel dataflow transformations with model checking and its application to FPGAs. - Robert J. Stewart 001; Bernard Berthomieu; Paulo Garcia; Idris Ibrahim; Greg Michaelson; Andrew M. Wallace (J. Syst. Archit., 2019)