Collaborative models for autonomous systems controller synthesis. - Fraser, Douglas; Giaquinta, Ruben; Hoffmann, Ruth; Ireland, Murray; Miller, Alice; Norman, Gethin (Formal Aspects Comput., 2020)