Checking Asynchronously Communicating Components Using Symbolic Transition Systems. - Olivier Maréchal; Pascal Poizat; Jean-Claude Royer (CoopIS/DOA/ODBASE (2), 2004)