A Format for Work Specification. - Hidehito Sawai; Rentaro Yoshioka (MCSoC, 2014)