Hi,
um Laufzeiten zu messen, gibts sog. TDC's (=time to digital converter). hab dir hier zwei interessante links:
http://www.acam.de/Content/Deutsch/tdc.html
http://www.msc-ge.com(unter elektr. komponenten>asic>tdc)
wenn ich es recht in Erinnerung habe, schaffen die teilweise eine Auflösung von 25 ps.