Deriving a State Model of a Control Program by Symbolic Execution. - Herbert Prähofer; Thomas Bohm; Josef Pichler (INDIN, 2018)