@INPROCEEDINGS{TrcekK-2008-csi,
   author        = {Tr\v{c}ek, Denis and Kova\v{c}, Damjan},
   title         = {Formal appartus for measurement of lightweight protocols},
   booktitle     = {Computer Standard and Interface},
   year          = {2008},
   editor        = {},
   volume        = {In Press, Corrected Proof},
   series        = {},
   pages         = {},
   address       = {},
   month         = {},
   organization  = {},
   publisher     = {Elsevier Science},
}