Evaluating Behavior Correctness of Synchronous Systems through Time to Service Distribution Analysis: Tools Required | IEEE Conference Publication | IEEE Xplore