Toward domain-independent formalization of indirect interaction | IEEE Conference Publication | IEEE Xplore