Covering transitions of concurrent systems through queues | IEEE Conference Publication | IEEE Xplore