Model Based Test Specifications: Developing of Test Specifications in a Semi Automatic Model Based Way | IEEE Conference Publication | IEEE Xplore