Efficient symbolic state-space construction for asynchronous systems — ReaderExpo