Extracting finite state representations from recurrent models of Industrial Cyber Physical Systems | IEEE Conference Publication | IEEE Xplore