Constraint-Based Testing of An Industrial Multi-Robot Navigation System | IEEE Conference Publication | IEEE Xplore