Return to Article Details Timed Model for Protocol Verification and Performance Analysis Download Download PDF