Model based Automation of Verification Development for automotive SOCs Author(s): Aljoscha Kirchner, Jan Hendrik Oetjens, and Oliver Bringmann,
