Model Based Requirements Analysis and Testing of Automotive Systems with Timed Usage Models | IEEE Conference Publication | IEEE Xplore