Trace-Guided Synthesis of Reactive Behavior Models of Programmable Logic Controllers | IEEE Conference Publication | IEEE Xplore