Analysis and applications of timed service protocols