On consistent symbolic representations of general dynamic systems | IEEE Journals & Magazine | IEEE Xplore