Modular analysis of systems composed of semiautonomous subsystems | IEEE Conference Publication | IEEE Xplore