. "This paper addresses the role, interpretation and the deployment of the notion %22time%22 in distributed cyber-physical systems. It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications."@en . "111094" . . "7"^^ . "1"^^ . "26230" . "Time in Cyber-Physical Systems: Specifications, Modeling and Measurements"@en . . "Time in Cyber-Physical Systems: Specifications, Modeling and Measurements" . "\u0160v\u00E9da, Miroslav" . . "1"^^ . "Rhodes Island" . . "Time in Cyber-Physical Systems: Specifications, Modeling and Measurements"@en . "Rhodes (Rodos) Island" . . . "2013-07-16+02:00"^^ . . "[0B34F4285939]" . . "RIV/00216305:26230/13:PU106358" . "P(ED1.1.00/02.0070), P(FR-TI1/037), P(TA01010632), S" . . "cyber-physical system, time, temporal partial order, operational semantics, measurement"@en . "RIV/00216305:26230/13:PU106358!RIV14-MPO-26230___" . . . "European Society for Environmental Research and Sustainable Development" . . . . . . "This paper addresses the role, interpretation and the deployment of the notion %22time%22 in distributed cyber-physical systems. It discusses various possibilities how to approach such modeling and selects the fitting one, which enables to utilize the related specification language ASL in the domain applications." . . "978-1-61804-204-0" . . "Proceedings of the SCSI 2013" . . "Time in Cyber-Physical Systems: Specifications, Modeling and Measurements" . . .