Controllability Analysis of Linear Time-Invariant Descriptor Systems∗. Issue 1 (2016)