Formal specification of communication protocols based on a Timed-SDL: validation and performance prospects | IEEE Conference Publication | IEEE Xplore