Invia SMS: Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings / Axel Legay, Marius Bozga (eds.).