{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:51:21Z","timestamp":1725756681352},"publisher-location":"Dordrecht","reference-count":20,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400772618"},{"type":"electronic","value":"9789400772625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-94-007-7262-5_47","type":"book-chapter","created":{"date-parts":[[2013,11,12]],"date-time":"2013-11-12T12:02:50Z","timestamp":1384257770000},"page":"401-409","source":"Crossref","is-referenced-by-count":0,"title":["A Clock Based Approach to the Formal Specification of Cyber Physical Systems"],"prefix":"10.1007","author":[{"given":"Bingqing","family":"Xu","sequence":"first","affiliation":[]},{"given":"Lichen","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,13]]},"reference":[{"key":"47_CR1","unstructured":"Man KL, Schiffelers RRH (2006) Formal specification and analysis of hybrid systems. Universiteitsdrukkerij Technische Universiteit Eindhoven, ISBN-10: 90-386-2997-4"},{"key":"47_CR2","unstructured":"He J (2013) A clock-based framework for constructions of hybrid systems. Key talk. In the proceedings of ICTAC\u20192013"},{"key":"47_CR3","unstructured":"He J (2012) Link continuous world with discrete world. Shanghai Key Laboratory of Trustworthy Computing East China Normal University, China"},{"key":"47_CR4","unstructured":"Object Management Group (2009) UML profile for MARTE, v1.0.formal\/2009-11-02"},{"key":"47_CR5","unstructured":"Object Management Group (2005) UML profile for schedulability, performance, and time specification. OMG document:formal\/05-01-02 (v1.1)"},{"key":"47_CR6","doi-asserted-by":"publisher","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 (2010) The clock constraint specification language for building timed causality models. Innovations Syst Softw Eng 6:99\u2013106","journal-title":"Innovations Syst Softw Eng"},{"issue":"7","key":"47_CR7","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558\u2013565","journal-title":"Commun ACM"},{"key":"47_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","journal-title":"Theor Comput Sci"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Kopke PW, Puri A, Varaiya P (1995) What\u2019s decidable about hybrid automata? In: Proceedings of the 27th annual symposium on theory of computing, ACM Press, pp 373\u2013382","DOI":"10.1145\/225058.225162"},{"issue":"1","key":"47_CR10","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"Alur R, Henzinger TA (1994) A really temporal logic. J ACM 41(1):181\u2013204","journal-title":"J ACM"},{"issue":"1","key":"47_CR11","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur R, Courcoubetis C, Dill DL (1993) Model checking in dense real time. Inf Comput 104(1):2\u201334","journal-title":"Inf Comput"},{"key":"47_CR12","unstructured":"Silva BI, Krogh BH Modeling and verification of sampled-data hybrid systems. www.ece.cmu.edu\/~krogh\/checkmate\/\u2026\/adpm_sampled_data.p"},{"key":"47_CR13","doi-asserted-by":"crossref","unstructured":"Bujorianu MC, Bujorianu LM, Langerak R (2008) An interpretation of concurrent hybrid time systems over multi-clock systems. In: Proceedings of the 17th IFAC world congress, Seoul, Korea, 6\u201311 July 2008","DOI":"10.3182\/20080706-5-KR-1001.00614"},{"issue":"3","key":"47_CR14","first-page":"45","volume":"6","author":"B Xu","year":"2013","unstructured":"Xu B, He J, Zhang L (2013) Specification of cyber physical systems based on clock theory. Int J Hybrid Inf Technol 6(3):45\u201354","journal-title":"Int J Hybrid Inf Technol"},{"key":"47_CR15","unstructured":"Xu B et al (2013) Specification of cyber physical systems by clock. AST2013.Yeosu, South Korea, ASTL, vol 20, pp 111\u2013114"},{"key":"47_CR16","unstructured":"Leeb G, Lynch N (1996) Proving safety properties of the steam boiler controller, lecture notes in computer science. 1165:318\u2013338"},{"key":"47_CR17","doi-asserted-by":"crossref","unstructured":"Abrial J, Bger E, Langmaack H (eds) (1996) Formal methods for industrial applications\u2014specifying and programming the steam boiler control, lecture notes in computer science, vol 1165, Springer, Berlin","DOI":"10.1007\/BFb0027227"},{"key":"47_CR18","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BFb0027238","volume-title":"Formal methods for industrial applications\u2014specifying and programming the steam boiler control, lecture notes in computer science","author":"G Duval","year":"1996","unstructured":"Duval G, Cattel T (1996) Specifying and verifying the steam boiler problem with SPIN. In: Abrial J-R, Bger E, Langmaack H (eds) Formal methods for industrial applications\u2014specifying and programming the steam boiler control, lecture notes in computer science, vol 1165. Springer, Berlin, pp 203\u2013217"},{"key":"47_CR19","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BFb0027250","volume-title":"Formal methods for industrial applications\u2014specifying and programming the steam boiler control, lecture notes in computer science","author":"A Willig","year":"1996","unstructured":"Willig A, Schieferdecker I (1996) Specifying and verifying the steam boiler control system with time extended LOTOS. In: Abrial J-R, Bger E, Langmaack H (eds) Formal methods for industrial applications\u2014specifying and programming the steam boiler control, lecture notes in computer science, vol 1165. Springer, Berlin, pp 473\u2013492"},{"key":"47_CR20","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0167-6423(02)00092-8","volume":"46","author":"PJF Carreira","year":"2003","unstructured":"Carreira PJF, Costa MEF (2003) Automatically verifying an object-oriented specification of the steam-boiler system. Sci Comput Program 46:197\u2013217","journal-title":"Sci Comput Program"}],"container-title":["Lecture Notes in Electrical Engineering","Advanced Technologies, Embedded and Multimedia for Human-centric Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-7262-5_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T12:18:50Z","timestamp":1564661930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-7262-5_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,13]]},"ISBN":["9789400772618","9789400772625"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-7262-5_47","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2013,11,13]]}}}