{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:18:11Z","timestamp":1726409891997},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319912707"},{"type":"electronic","value":"9783319912714"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91271-4_30","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T14:32:55Z","timestamp":1525703575000},"page":"397-402","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Proposition of an Action Layer for Electrum"],"prefix":"10.1007","author":[{"given":"Julien","family":"Brunel","sequence":"first","affiliation":[]},{"given":"David","family":"Chemouil","sequence":"additional","affiliation":[]},{"given":"Alcino","family":"Cunha","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Hujsa","sequence":"additional","affiliation":[]},{"given":"Nuno","family":"Macedo","sequence":"additional","affiliation":[]},{"given":"Jeanne","family":"Tawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"key":"30_CR1","doi-asserted-by":"publisher","unstructured":"Chang, F.S., Jackson, D.: Symbolic model checking of declarative relational models. In: ICSE 2006, pp. 312\u2013320. ACM (2006). \nhttps:\/\/doi.org\/10.1145\/1134329","DOI":"10.1145\/1134329"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-662-43652-3_29","volume-title":"ABZ 2014","author":"A Cunha","year":"2014","unstructured":"Cunha, A.: Bounded model checking of temporal formulas with Alloy. In: Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. LNCS, vol. 8477, pp. 303\u2013308. Springer, Heidelberg (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-662-43652-3_29"},{"key":"30_CR3","doi-asserted-by":"publisher","unstructured":"Frias, M.F., Galeotti, J.P., Pombo, C.L., Aguirre, N.: DynAlloy: upgrading Alloy with actions. In: ICSE 2005, pp. 442\u2013451. ACM (2005). \nhttps:\/\/doi.org\/10.1145\/1062455.1062535","DOI":"10.1145\/1062455.1062535"},{"key":"30_CR4","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge (2012). Revised edn."},{"key":"30_CR5","doi-asserted-by":"publisher","unstructured":"Macedo, N., Brunel, J., Chemouil, D., Cunha, A., Kuperberg, D.: Lightweight specification and analysis of dynamic systems with rich configurations. In: SIGSOFT FSE, pp. 373\u2013383. ACM (2016). \nhttps:\/\/doi.org\/10.1145\/2950290.2950318","DOI":"10.1145\/2950290.2950318"},{"key":"30_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-11811-1_10","volume-title":"Abstract State Machines, Alloy, B and Z","author":"JP Near","year":"2010","unstructured":"Near, J.P., Jackson, D.: An imperative extension to Alloy. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 118\u2013131. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-11811-1_10"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-30885-7_11","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"A Vakili","year":"2012","unstructured":"Vakili, A., Day, N.A.: Temporal logic model checking in Alloy. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 150\u2013163. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-30885-7_11"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91271-4_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T14:43:55Z","timestamp":1525704235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91271-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912707","9783319912714"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91271-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}