@inbook{TD9,
title = {Model-based Design of Heterogeneous Systems },
author = {Tripakis, Stavros and Dang, Thao},
year = {2009},
chapter = {Modeling, Verification and Testing using Timed and Hybrid Automata},
publisher = {CRC Press},
team = {axe_Mohytos, TEMPO},
}