@inbook{Dan1,
title = {Model-Based Testing for Embedded Systems },
author = {Dang, Thao},
year = {2011},
chapter = {Model-based Testing of Hybrid Systems},
publisher = {CRC Press},
team = {axe_Mohytos, TEMPO},
}
