@article{ACH+95,
title = {The Algorithmic Analysis of Hybrid Systems },
author = {Alur, Rajeev and Courcoubetis, Costas and Halbwachs, Nicolas and Henzinger, Thomas A. and Ho, Pei-Hsin and Nicollin, Xavier and Olivero, Alfredo and Sifakis, Joseph and Yovine, Sergio},
month = {jan},
year = {1995},
journal = {Theoretical Computer Science B},
pages = {3--34},
volume = {138},
team = {DCS, SYNC},
}
