И. А. Жуков, А. А. Синельников, and А. А. Антипов, “A method and calculable structures for providing the reliability of navigation”, PIC, vol. 2, no. 20, pp. 73–78, Oct. 2007.