Using static code analysis to improve coarse task granularity in bobox. - Lukas Krizik; Filip Zavoral; Miroslav Cermák (ICDIM, 2015)