Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks | IEEE Conference Publication | IEEE Xplore