@incollection{RoozbehaniHSCC2008,
	author={Roozbehani, M. and Megretski, A. and Frazzoli, E. and Feron, E.},
	booktitle={Hybrid Systems: Computation and Control},
	series={LNCS}, 
	title={Distributed {Lyapunov} Functions in Analysis of Graph Models of Software},
	year={2008},
	volume={4981},
	pages={443-456},
	publisher={Springer},
}