Software analysis for Agents of Things (AoT) applications | IEEE Conference Publication | IEEE Xplore