Modelling, control and validation of multi-agent plans in dynamic context | IEEE Conference Publication | IEEE Xplore