Deriving a State Model of a Control Program by Symbolic Execution | IEEE Conference Publication | IEEE Xplore