Diagnosis of Temporal Faults in SPN with Trajectory-Observers and Control Charts | IEEE Conference Publication | IEEE Xplore