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