PTTAC: Passive Testing Tool for Asynchronous Systems | IEEE Conference Publication | IEEE Xplore