Modelovacie formalizmy udalostných systémov - Juhás, Gabriel, 1969- (RT Systems, 2011)