Complexity of Model Checking over General Linear Time | IEEE Conference Publication | IEEE Xplore