Efficient Symbolic State-Space Construction for Asynchronous Systems