Automated testing of embedded automotive systems from requirement specification models | IEEE Conference Publication | IEEE Xplore