Event Timestamping Tool: a simple PC based kernel to timestamp distributed events - P. Martins (2000)