1. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126(2), 183–235 (1994)
2. Alur, R., Kurshan, R.P., Viswanathan, M.: Membership questions for timed and hybrid automata. In: RTSS 1998, pp. 254–264. IEEE (1998)
3. Åstrom, K., Murray, R.M.: Feedback Systems: An Introduction for Engineers and Scientists. Princeton University Press (2005)
4. Boyd, S., Vandenberghe, S.: Convex Optimization. Cambridge University Press (2004),
http://www.stanford.edu/~boyd/cvxbook.html
5. Lecture Notes in Computer Science;L. Moura de,2008