K. Rastocny and M. Franekova, “Modelling in Development of Safety-Related Communication Systems”, Communications, vol. 10, no. 1, pp. 24-30, Mar. 2008.