publicações selecionadas Modelling, Formalising, and Implementing Intent in Command and Control Systems
