{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:25:55Z","timestamp":1742934355818,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406744"},{"type":"electronic","value":"9783642406751"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-40675-1_22","type":"book-chapter","created":{"date-parts":[[2013,8,19]],"date-time":"2013-08-19T12:12:46Z","timestamp":1376914366000},"page":"137-142","source":"Crossref","is-referenced-by-count":0,"title":["Formal Descriptions of Cyber Physical Systems Using Clock Theory"],"prefix":"10.1007","author":[{"given":"Bingqing","family":"Xu","sequence":"first","affiliation":[]},{"given":"Lichen","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Kim, K.H.: Desirable Advances in Cyber-Physical System Software Engineering. In: 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, pp. 2\u20134 (2010)","key":"22_CR1","DOI":"10.1109\/SUTC.2010.70"},{"doi-asserted-by":"crossref","unstructured":"Kim, K.H.: Challenges and Future Directions of Cyber-Physical System Software. In: Proceedings of the 2010 34th Annual IEEE Computer Software and Applications Conference, pp. 10\u201313 (2010)","key":"22_CR2","DOI":"10.1109\/COMPSAC.2010.89"},{"issue":"1","key":"22_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","volume":"100","author":"P. Derler","year":"2012","unstructured":"Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling Cyber-Physical Systems. Proceedings of the IEEE\u00a0100(1), 13\u201328 (2012)","journal-title":"Proceedings of the IEEE"},{"doi-asserted-by":"crossref","unstructured":"Chen, X., Liu, J., Mallet, F., Jin, Z.: Modeling Timing Requirements in Problem Frames Using CCSL. In: 2011 18th Asia-Pacific Software Engineering Conference, pp. 381\u2013388 (2011)","key":"22_CR4","DOI":"10.1109\/APSEC.2011.30"},{"unstructured":"He, J.: Link Continuous World with Discrete World. In: The 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China (unpublished, September 2013) (Keytalk)","key":"22_CR5"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0027243","volume-title":"Formal Methods for Industrial Applications","author":"G. Leeb","year":"1996","unstructured":"Leeb, G., Lynch, N.: Proving safety properties of the steam boiler controller. In: Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.) Formal Methods for Industrial Applications. LNCS, vol.\u00a01165, pp. 318\u2013338. Springer, Heidelberg (1996)"},{"unstructured":"Object Management Group, UML Profile for MARTE, v1.0.formal (2009)","key":"22_CR7"},{"unstructured":"Object Management Group. UML Profile for schedulability, performance, and time specification. OMG document: formal(v1.1) (2005)","key":"22_CR8"},{"key":"22_CR9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s11334-009-0109-0","volume":"6","author":"F. Mallet","year":"2010","unstructured":"Mallet, F., DeAntoni, J., Andr\u00e9, C., de Simone, R.: The clock constraint specification language for building timed causality models. Innovations in Systems and Software Engineering\u00a06, 99\u2013106 (2010)","journal-title":"Innovations in Systems and Software Engineering"},{"issue":"7","key":"22_CR10","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun ACM"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? In: Proceedings of the 27th Annual Symposium on Theory of Computing, pp. 373\u2013382. ACM Press (1995)","key":"22_CR11","DOI":"10.1145\/225058.225162"}],"container-title":["Lecture Notes in Electrical Engineering","Mobile, Ubiquitous, and Intelligent Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40675-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T16:25:12Z","timestamp":1675787112000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-40675-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642406744","9783642406751"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40675-1_22","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2014]]}}}