Dana Procházková"Overview of Fine Exact Methods of Safety Engineering."Information & Security: An International Journal28,no. 2(2012):167-178.28.14_Prochazkova.pdf