Ptera: an event-oriented model of computation for heterogeneous systems. - Thomas Huining Feng; Edward A. Lee; Lee W. Shruben (EMSOFT, 2010)