Jani Pesonen Mika Katara Tommi Mikkonen Production-Testing of Embedded Systems with Aspects. 90-102 2005 conf/hvc/2005 Haifa Verification Conference http://dx.doi.org/10.1007/11678779_7 db/conf/hvc/hvc2005.html#PesonenKM05