Sidharta Andalam Partha S. Roop Alain Girault Deterministic, predictable and light-weight multithreading using PRET-C. 1653-1656 2010 DATE https://doi.org/10.1109/DATE.2010.5457078 http://dl.acm.org/citation.cfm?id=1871325 conf/date/2010 db/conf/date/date2010.html#AndalamRG10