(C5005) Arrays with an out of range index Error In: Correctness Description: Arrays or bit-arrays are used with an index value that is out of the defined index range. Example: A is an integer array from 1 to 100 There is an action in the model: \A(101):=1 Erroneous Elements: Data-items, fields, conditions, and events