Constructive Design for Reachability of Reversible Discrete-Time Switched Linear Systems | IEEE Conference Publication | IEEE Xplore