Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking | IEEE Conference Publication | IEEE Xplore