{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:46:22Z","timestamp":1743140782133,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":9,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819603534"},{"type":"electronic","value":"9789819603541"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-0354-1_8","type":"book-chapter","created":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T10:52:21Z","timestamp":1738320741000},"page":"89-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Exercise in\u00a0Uppaal: Modelling the\u00a0Circadian Clock of\u00a0a\u00a0Cyanobacteria"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8531-6535","authenticated-orcid":false,"given":"Antonio","family":"Iglesias","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1727-9098","authenticated-orcid":false,"given":"Daniel","family":"Figueiredo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,31]]},"reference":[{"unstructured":"Github repository. https:\/\/gitlab.com\/alexandremadeira\/ailauppaal. Accessed 12 July 2024","key":"8_CR1"},{"key":"8_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.entcs.2009.02.004","volume":"229","author":"E Bartocci","year":"2009","unstructured":"Bartocci, E., Corradini, F., Merelli, E., Tesei, L.: Model checking biological oscillators. Electr. Notes Theor. Comput. Sci. 229, 41\u201358 (2009). https:\/\/doi.org\/10.1016\/j.entcs.2009.02.004","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_7"},{"unstructured":"Castro\u00a0Iglesias, A.: Transition systems everywhere: from possibilistic to temporal and probabilistic verification. Master\u2019s thesis, University of Aveiro, Portugal (2024)","key":"8_CR5"},{"doi-asserted-by":"publisher","unstructured":"Chaves, M., Preto, M.: Hierarchy of models: from qualitative to quantitative analysis of circadian rhythms in cyanobacteria. Chaos 23(2), 025113 (2013). https:\/\/doi.org\/10.1063\/1.4810922","key":"8_CR6","DOI":"10.1063\/1.4810922"},{"issue":"4","key":"8_CR7","doi-asserted-by":"publisher","first-page":"404","DOI":"10.2307\/2331986","volume":"26","author":"C Clopper","year":"1934","unstructured":"Clopper, C., Pearson, E.: The use of confidence or fiducial limits illustrated in the case of the binomial. Biometrika 26(4), 404\u2013413 (1934). https:\/\/doi.org\/10.2307\/2331986","journal-title":"Biometrika"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K., Legay, A., Mikucionis, M., Poulsen, D.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17, 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.: The logical analysis of continuous, non-linear biochemical control networks. J. Theor. Biol. 39(1), 103\u2013129 (1973). https:\/\/doi.org\/10.1016\/0022-5193(73)90208-7","journal-title":"J. Theor. Biol."}],"container-title":["Communications in Computer and Information Science","Artificial Intelligence Logic and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0354-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T10:52:26Z","timestamp":1738320746000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0354-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819603534","9789819603541"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0354-1_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"31 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AILA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on AI Logic and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lanzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aila2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ailasym.com","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}