Anke Dittmar Peter Forbrig Task-based design revisited. 111-116 2009 EICS https://doi.org/10.1145/1570433.1570455 conf/eics/2009 db/conf/eics/eics2009.html#DittmarF09