Chalmers, Kevin, Kerridge, Jon, Romdhani, Imed, "Performance evaluation of JCSP Micro Edition: JCSPme", , 2006