The Compositional Specification of Timed Systems — A Tutorial [chapter]

Joseph Sifakis
1999 Lecture Notes in Computer Science  
doi:10.1007/3-540-48683-6_2 fatcat:wajksaoz3bgtpjou5bipl5qhey