Symbolic analysis for automatic model generation | IEEE Conference Publication | IEEE Xplore