Serge Hustin Miodrag Potkonjak Eric Verhulst Wayne Wolf Real-time operating systems for embedded computing. 2 1998 ICCAD http://doi.acm.org/10.1145/288548.289349 db/conf/iccad/iccad1998.html#HustinPVW98