Systemic support for transaction-based spatial-temporal programming of mobile robot swarms | IEEE Conference Publication | IEEE Xplore