Shen, Pang, 2005. Linear Complementarity Systems: Zeno States 44.. https://doi.org/10.1137/040612270