Marc Born Ina Schieferdecker Olaf Kath Chiaki Hirai Combining System Development and System Test in a Model-Centric Approach. 132-143 2004 conf/rise/2004 RISE http://dx.doi.org/10.1007/11423331_13 db/conf/rise/rise2004.html#BornSKH04