Formal synthesis of supervisory control software for multiple robot systems. - J. Goryca; Rick C. Hill (ACC, 2013)