{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,5]],"date-time":"2026-09-05T15:31:04Z","timestamp":1788622264568,"version":"build-2803163510"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"ERC Consolidator","award":["D-SynMA (No. 772459)"],"award-info":[{"award-number":["D-SynMA (No. 772459)"]}]},{"name":"Marie Skłodowska-Curie BeHAPI","award":["778233"],"award-info":[{"award-number":["778233"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,6,1]]},"DOI":"10.1109\/tse.2020.3044532","type":"journal-article","created":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T21:18:07Z","timestamp":1607980687000},"page":"1965-1978","source":"Crossref","is-referenced-by-count":6,"title":["Control and Discovery of Environment Behaviour"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2685-1458","authenticated-orcid":false,"given":"Maureen","family":"Keegan","sequence":"first","affiliation":[{"name":"Facultade de Ciencias Exactas y Naturales, Universidad de Buenos Aires (FCEN-UBA), Buenos Aires, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Braberman","sequence":"additional","affiliation":[{"name":"FCEN-UBA, Buenos Aires, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0612-4157","authenticated-orcid":false,"given":"Nicolas","family":"DaIppolito","sequence":"additional","affiliation":[{"name":"ASAPP Inc., Buenos Aires, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nir","family":"Piterman","sequence":"additional","affiliation":[{"name":"Department of Informatics, University of Leicester, Department of Computer Science and Engineering, University of Gothenburg, Göteborg, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9352-1478","authenticated-orcid":false,"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[{"name":"FCEN-UBA, Buenos Aires, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45260-4_2"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2364844"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16561-0_25"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.09.038"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30106-6_11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1294904.1294908"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0216-x"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5119"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_15"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_25"},{"key":"ref13","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"van Lamsweerde","year":"2009"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430543"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref19","article-title":"MTSA tool and data for control and discovery of reactive system environmnets","author":"Keegan","year":"2020"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985823"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58867-1","volume-title":"Formal Development of Reactive Systems - Case Study Production Cell","volume":"891","author":"Lewerentz","year":"1995"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_6"},{"key":"ref23","article-title":"MICS: Mediator synthesis to connect components website","author":"Bennaceur","year":"2019"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185648"},{"key":"ref28","first-page":"37","article-title":"Enhancing tolerance to unexpected jumps in GR(1) games","volume-title":"Proc. ACM\/IEEE 8th Int. Conf. Cyber-Physical Syst.","author":"Dathathri"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562128"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568264"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2830353"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2014.X.012"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_24"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760732"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2014.09.020"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.107"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2014.15"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139194655"},{"key":"ref39","first-page":"897","article-title":"String extension learning","volume-title":"Proc. 48th Annu. Meeting Assoc. Comput. Linguistics","author":"Heinz"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_14"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9795956\/09293408.pdf?arnumber=9293408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:12:54Z","timestamp":1704841974000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9293408\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,1]]},"references-count":42,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tse.2020.3044532","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6,1]]}}}