@Article{FGH+20,
author={D. Fraser and R. Giaquinta and R. Hoffmann and M. Ireland and A. Miller and G. Norman},
title={Collaborative Models for Autonomous Systems Controller Synthesis},
journal={Formal Aspects of Computing},
year={2020},

volume={},
number={},
pages={},
publisher={},
month={},
note={},
key={}
}