Lanner Group: Witness - Users Manual
Cassanras,C.G.-Lafortunate,S.: Introduction to Discrete Event Systems. New York: Springer, 2008.
Briš,R.-Škňouřilová,P.:Statistics I. VŠB-TU Ostrava, 2007.
Adan,I.-Resing,J.: Queueing Theory. Eindhoven University of Technology, 2002.