Жуков, И. А.; Синельников, А. А.; Антипов, А. А. A Method and Calculable Structures for Providing the Reliability of Navigation. PIC 2007, 2, 73-78.