Formal Approaches to Identify Cadet Fatigue Factors by Means of Marine Navigation Simulators. - Pavlo Nosov; Andrii Ben; Serhii Zinchenko; Ihor Popovych; Vadym Mateichuk; Halyna Nosova (ICTERI Workshops, 2020)