Path-complete graphs and common Lyapunov functions - Angeli, D; Athanasopoulos, N; Jungers, RM; Philippe, M (ACM, 2017)