A necessary and sufficient condition for total observability of discrete-time linear time-varying systems. Issue 1 (July 2017)