Lai, Richard Ph. D.

• Communication protocol specification and verification