Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün: Reduced checking sequences using unreliable reset. Inf. Process. Lett. 115(5): 532-535 (2015)