The other way I think, would be to have..
+ System a = b
+ System b = c (INVERTED)
+ System c = a (INVERTED)
..
+ System a = b (INVERTED)
+ System b = c
+ System c = a
unless you have many many conditions to check. Arima's is definitely the way to go in that case.