Engineering safe autonomous mobile systems of systems using specification (model) based systems architecture & engineering | IEEE Conference Publication | IEEE Xplore