Verifikácia komunikačných protokolov - Michalica, Martin, 1985- (STU v Bratislave FEI, 2010)