Specification of Coordinated Objects and Verification of Their Temporal Properties. - Mihai Danes; Dorel Lucanu; Gabriel Ciobanu (SYNASC, 2005)