Lars Frantzen Jan Tretmans Model-Based Testing of Environmental Conformance of Components. 1-25 2006 FMCO http://dx.doi.org/10.1007/978-3-540-74792-5_1 conf/fmco/2006 db/conf/fmco/fmco2006.html#FrantzenT06