Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams | IEEE Conference Publication | IEEE Xplore