ATP functional specification for automated train coupling/decoupling operation | IEEE Conference Publication | IEEE Xplore