CARTS: a tool for compositional analysis of real-time systems. - Linh T. X. Phan; Jaewoo Lee; Arvind Easwaran; Vinay Ramaswamy; Sanjian Chen; Insup Lee 001; Oleg Sokolsky (SIGBED Rev., 2011)