Title: Efficient symbolic state-space construction for asynchronous systems
Subjects: Complex systems, Construction, Synchronism, Systems analysis