D. Angeli (2002):
A Lyapunov approach to incremental stability properties.
Automatic Control, IEEE Transactions on 47(3),
pp. 410 –421,
doi:10.1109/9.989067.
E. M. Clarke, E. A. Emerson & A. P. Sistla (1986):
Automatic verification of finite-state concurrent systems using temporal logic specifications.
ACM Trans. Program. Lang. Syst. 8(2),
pp. 244–263,
doi:10.1145/5397.5399.
F. Forni & R. Sepulchre (2012):
A differential Lyapunov Framework for Contraction Analysis.
arXiv:1208.2943v1.
Goran Frehse, Sumit Jha & Bruce Krogh (2008):
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.
In: Magnus Egerstedt & Bud Mishra: Hybrid Systems: Computation and Control,
Lecture Notes in Computer Science 4981.
Springer Berlin / Heidelberg,
pp. 187–200,
doi:10.1007/978-3-540-78929-1_14.