A Debugger for Communicating Scala Objects - Bate, A; Lowe, G (2012)