Sultana, Galea, Greaves, Wojcik, Zilberman, Clegg, Mai, Mortier, Pietzuch, Crowcroft, Moore, 2017. Extending programs with debug-related features, with application to hardware development.