Modular plant model synthesis from behavior traces and temporal properties | IEEE Conference Publication | IEEE Xplore