Samarjit Chakraborty S. Ramesh Jürgen Teich Model-based analysis, synthesis and testing of automotive hardware/software architectures. 299-300 2010 EMSOFT http://doi.acm.org/10.1145/1879021.1879061 conf/emsoft/2010 db/conf/emsoft/emsoft2010.html#ChakrabortyRT10