Modelling Assured Navigation of sUAS Swarms in Urban Environments | IEEE Conference Publication | IEEE Xplore