From State Machines to Temporal Logic: Specification Methods for Protocol Standards | IEEE Journals & Magazine | IEEE Xplore