Specification of coordinated objects and verification of their temporal properties | IEEE Conference Publication | IEEE Xplore