Kshirasagar Naik Behçet Sarikaya Protocol conformance test case verification using timed-transitions. 103-118 1994 conf/pstv/1994 PSTV db/conf/pstv/pstv1994.html#NaikS94