DisASTer (distributed algorithms simulation terrain): a platform for the implementation of distributed algorithms. - Rainer Oechsle; Tim Gottwald (ITiCSE, 2005)