Communication Protocol Engineering - Miroslav Popovic (Taylor and Francis, 2018)