Toward Detection of Abnormal Behaviors in Timing and Security Requirements | IEEE Conference Publication | IEEE Xplore