Automotive systems requirement mining using breach | IEEE Conference Publication | IEEE Xplore