Logic of involved variables - system specification with temporal logic of distributed actions | IEEE Conference Publication | IEEE Xplore