A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Ammar Mohammed, Ulrich Furbach, Frieder Stolzenburg. "Multi-Robot Systems: Modeling, Specification, and Model Checking." Robot Soccer (2010)