Reachability/controllability properties of internally proper PMDs | IEEE Conference Publication | IEEE Xplore