A Model-Based Statistical Usage Testing of Communication Protocols. - Miroslav Popovic; Ilija Basicevic; Ivan Velikic; Jelena Tatic (ECBS, 2006)