Case study - using stil as test pattern language | IEEE Conference Publication | IEEE Xplore