Inter-domain requirements and their future realisability: The ARAMiS cyber-physical systems scenario | IEEE Conference Publication | IEEE Xplore