Testing the conformity of transactional attributes of components by simulation | IEEE Conference Publication | IEEE Xplore