A software architecture for artificial transportation systems - principles and framework | IEEE Conference Publication | IEEE Xplore