@inbook{TD09,
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 = {TEMPO},
}