A.  Balestrino, Caiti, A., and Crisostomi, E., ?Logical composition of Lyapunov functions?, INTERNATIONAL JOURNAL OF CONTROL, vol. 84, pp. 563?573, 2011 [Online]. Available: http://dx.medra.org/10.1080/00207179.2011.562549