Model-based protocol specification

Yaniv Mordecai. Model-based protocol specification. Systems Engineering, 22(2):188-210, 2019. [doi]

Abstract

Abstract is missing.