• We revised the formalisation of the serial composition of enforcers from VDTAs, an extension of timed automata with data values.


  • The principles are implemented in a prototype tool.


  • The tool is applied to a case study: a swarn of drones.




A conference paper about this work is under preparation and will be submitted in the coming weeks.