JMonitor: A monitoring tool for distributed systems. - Penteado, Mauricio G.; Trevelin, Luis Carlos (2012)