Identification of Timed Input/Output Relationships For Industrial Automation Systems Using Timed Interpreted Petri Nets | IEEE Conference Publication | IEEE Xplore