On the logical and timed analysis of an airborne navigation system by means of DYANAстатья