Comparing asynchronous l-complete approximations and quotient based abstractions | IEEE Conference Publication | IEEE Xplore