Automatic_verification_of_asynchronous_c.pdf