Dr. Vered Gafni 1 Modeling Real-Time Systems. Dr. Vered Gafni 2 Behavioral Model (Signature, Time) Signature: v 1 :D 1, v 2 :D 2,…,v n :D n S = (D.