A note on reachability submodules for linear systems over principal ideal domains | IEEE Conference Publication | IEEE Xplore