Investigation of Different Conditions to Detect Cycles in Linearly Implicit Quantized State Systems | IEEE Conference Publication | IEEE Xplore