Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems | IEEE Conference Publication | IEEE Xplore