Symbolic analysis of mixed continuous and sampled-data systems | IEEE Conference Publication | IEEE Xplore